CodeQL library for Java/Kotlin
codeql/java-all 1.1.2-dev (changelog, source)

Predicate TypeFlowBounds::exprUnionTypeFlow

Holds if the runtime type of e is bounded by a union type and if this bound is likely to be better than the static type of e. The union type is made up of the types t related to e by this predicate, and the flag exact indicates whether t is an exact bound or merely an upper bound.

Import path

predicate exprUnionTypeFlow(Expr e, RefType t, boolean exact)