Bug report

Code snippet that reproduces the problem

There is no error in the example
https://phpstan.org/r/ac9812c0-7b04-40c5-81d0-0a9a0d4cede8

But, for php, this is the same code than
https://phpstan.org/r/bf76b0bf-ca6b-4ae1-9581-f5366b3fcc0d
Which is reported.

Psalm is able to report it https://psalm.dev/r/a5db531a63

Expected output

I'd like phpstan to be able to detect this too.

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

Sure, I'm currently solving bug thanks to this tool.