Bug report

atm we infer a uppercase-string, which is not correct in all paths thru the IF/ELSE

Code snippet that reproduces the problem

https://phpstan.org/r/d34012da-7d55-413f-95aa-b522aa553347

Expected output

no error

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

No response