Class InconsistentTypeLocation
The location of a constructed generic type should be the same as the location of its unbound generic type.
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 |