CodeQL library for Java
Search

Predicate erasedHaveIntersection

Holds if there is a common (reflexive, transitive) subtype of the erased types t1 and t2.

Import path

import java
predicate erasedHaveIntersection(RefType t1, RefType t2)