Code snippet that reproduces the problem

https://phpstan.org/r/ea663598-a160-4f83-b5ca-3c705c76e0fa

Expected output

https://phpstan.org/r/269db925-51c5-4b99-8057-5c7cc6878e15