Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/47f2fda9-6973-4d87-bcb5-d1a4f1b5ae5d

Expected output

I expect no errors in this code, to me the both example are similar.

Did PHPStan help you today? Did it make you happy in any way?

Sure