Reports type violations in properties assignments.