Reports incompatible types.