Bug report

I don't know what to say. Just look at the snippet.

Code snippet that reproduces the problem

https://phpstan.org/r/35b34997-e6e1-4d71-a1aa-094d92b0ab8c

Expected output

No errors.