"Variable might not be defined" false positive #14227
Description
Bug report
while reviewing phpstan/phpstan-src#5125 I found this case which is not yet working correctly.
Code snippet that reproduces the problem
https://phpstan.org/r/fc03eb49-038c-4fb3-bb11-6702762953fc
Expected output
should not error
Did PHPStan help you today? Did it make you happy in any way?
No response