CodeQL library for C#
codeql/csharp-all 0.8.12 (changelog, source)
Search

Predicate Cached::commonSubType

Holds if GVNs t1 and t2 may have a common sub type. Neither t1 nor t2 are allowed to be type parameters.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate commonSubType(RelevantGvnType t1, RelevantGvnType t2)