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(DataFlowType t1, DataFlowType t2)