Detects comparisons (== and !=) of expressions which cannot be of the same type.