Reports the use of types that do not implement the necessary traits. This inspection covers more cases than `Type does not implement trait`, however it may produce false positives.