CodeQL library for Java/Kotlin
codeql/java-all 0.8.9 (changelog, source)
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)