The location of a constructed method should be equal to the location of its unbound generic.
Import path
import semmle.code.cil.ConsistencyChecks
Direct supertypes
Indirect supertypes
Predicates
Inherited predicates
| getMethod |
Gets the method containing the violation. |
from MethodViolation |
| toString | from MethodViolation |