Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/a37ea7d6-2c1d-44d1-8257-338d6ffe8465

Expected output

The two types should be the same