Bug report

The code can explain better than I can... In both cases the dumped type should be identical.

Code snippet that reproduces the problem

https://phpstan.org/r/31aaf10b-ceed-4ea2-a14c-6469190c2ee5

Expected output

The dumped type should be the same in both cases.