If trait has an abstract function that return a union type, the conditions in this trait are considered to always be true or false #9515

Bug report

If trait has an abstract function that return a union type and the trait used multiple class, the conditions in the trait are considered to always be true or false.

Code snippet that reproduces the problem

https://phpstan.org/r/b81fcf53-a140-4c82-9f31-96853269f91a

Expected output

No error!

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

No response