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