Bug report

Any always-true condition is reported for or, but not for xor.

Code snippet that reproduces the problem

https://phpstan.org/r/eccd9f25-9c42-433d-9db4-a4d28fbfb278

Expected output

Always true condition for xor.