Reports type violations in properties assignments