Predicate erasedHaveIntersection
Holds if there is a common (reflexive, transitive) subtype of the erased
types t1 and t2.
Import path
import semmle.code.java.Typepredicate erasedHaveIntersection(RefType t1, RefType t2)Holds if there is a common (reflexive, transitive) subtype of the erased
types t1 and t2.
import semmle.code.java.Typepredicate erasedHaveIntersection(RefType t1, RefType t2)