CodeQL library for Python
codeql/python-all 2.1.3-dev (changelog, source)
Search

Predicate signature InputSig::typeStrongerThan

Holds if t1 is strictly stronger than t2. That is, t1 is a strict subtype of t2.

This predicate must be transitive and imply compatibleTypes(t1, t2).

signature predicate typeStrongerThan(DataFlowType t1, DataFlowType t2)