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