A type that has both type arguments and type parameters.
Import path
import semmle.code.cil.ConsistencyChecks
Direct supertypes
Indirect supertypes
Predicates
Inherited predicates
getType | Gets the type containing the violation. | from TypeViolation |
toString | from TypeViolation |