"RedundantCondition - positive-int can never contain 0" on a result of a bit & operation that can be 0 #5227
Description
I suspect psalm incorrectly assumes positive-int type for the result of a bit operation with two positive-int arguments. But while 1 and 2 are positive, 1 & 2 is not.