Bug report

I have defined an array shape with an optional key. When checking the type of the value from that optional but typed key, I get the error mentioned in the title, even after I added the parameter to not treat PhpDoc as certain.

So far so good. If I reorder the checks or if I make the key no longer optional, it works as expected, even though reordering the code would not change the logic at

Code snippet that reproduces the problem

• Code with error: https://phpstan.org/r/b68962d5-fe8d-4d1f-8ecc-9a320cb9e2b2
• Code without error: https://phpstan.org/r/c5763d7d-c624-4334-9068-50a2db355bff

Expected output

No error reported in both cases