Bug report

I think we are missing a "will always evaluate to true" error after narrowing a property

Code snippet that reproduces the problem

https://phpstan.org/r/1e62658b-0a57-42a6-8de1-42d346c2947f

Expected output

error at line 24, similar to the already reported error at line 29

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

No response