Bug report

The result is correct up to 8.3, but *NEVER* in 8.4 for some reason.

Code snippet that reproduces the problem

https://phpstan.org/r/52a81990-cb4a-4e1b-b638-c5f9b39a5688

Expected output

The same output on all PHP versions

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

No response