Bug report

From the discussion at #13363 a potential bug was found. Though I'm unsure how to properly explain it.

Code snippet that reproduces the problem

https://phpstan.org/r/81536c9e-36b3-4ab8-9ab3-072930cf1380

Expected output

No error should be reported.

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

PHPStan is a true lifesaver in all my projects! Thank you all for your continious hard work!