Reports a comparison with operands of incompatible types or an operand with a type without possible common values.