Bug report

It looks related to #7307

I attached a reproducer, I think i should not raise an error

Code snippet that reproduces the problem

https://phpstan.org/r/c08c08fd-e58c-4ee8-a962-6a2b8259abd0

Expected output

no error

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

Thanks for this tool!