CodeQL library for C#
codeql/csharp-all 3.1.2-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)