Fix not always positive bit operations

[orklah]

This should fix #5227

I'll wait to see failing tests to see if I just fix them or if I add this example: https://psalm.dev/r/2ba369ca91

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2ba369ca91

<?php

$a = 1;
$b = 1;
$c = 32;
$d = 64;

if (0 === ($a ^ $b)) {
    echo "Actually, zero\n";
}

if (0 === ($a >> $b)) {
    echo "Actually, zero\n";
}

if (8 === PHP_INT_SIZE) {
    if (0 === ($a << $d)) {
        echo "Actually, zero\n";
    }
} else {
    if (0 === ($a << $c)) {
        echo "Actually, zero\n";
    }
}

Psalm output (using commit 77feecb):

ERROR: TypeDoesNotContainType - 8:5 - positive-int cannot be identical to 0

ERROR: TypeDoesNotContainType - 12:5 - positive-int cannot be identical to 0

ERROR: TypeDoesNotContainType - 17:9 - positive-int cannot be identical to 0

ERROR: TypeDoesNotContainType - 21:9 - positive-int cannot be identical to 0

[sad-spirit]

I think you missed \PhpParser\Node\Expr\BinaryOp\BitwiseAnd from the original report.

[orklah]

Thanks! Added!

[muglug]

Thanks!