Reports misuse of generic types. Constraint violations, incorrect number of parameters etc.