Bug report

When i have a mixed variable, that is not empty(), I can't @var to tell that it's a specific type

Code snippet that reproduces the problem

https://phpstan.org/r/f252bf65-0225-458f-9e08-265384edf956

Expected output

Not sure if it's a bug, but Both methods must work the same

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

yes