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