Reports type inconsistencies.