Bug report

As can be seen in the reproduction link, phpstan reports a "Right side of && is always true." wrongly.

Code snippet that reproduces the problem

https://phpstan.org/r/04f6bdbe-0756-456a-bcdf-a37ca90b1a73

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

PHPStan is great and found lots of issues with our codebase! Thanks!