if-statement with two checks with different data types

[Lundin]

I just found that rule too. So either operand is guaranteed to be int, by this special rule for the relational operators. However, the operands are still subject to the usual arithmetic conversions for the sake of evaluating the operands, so there could be implicit conversions still, just not in this particular example.