Reports the use of types that do not implement the necessary traits.