Bug report

See example.

Code snippet that reproduces the problem

https://phpstan.org/r/f1ad4ebe-0825-4155-b34c-3b6a73c0769b

Expected output

no error

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

No response