Predicate Cached :: commonSubTypeUnifiableLeft
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate
commonSubTypeUnifiableLeft
(
RelevantDataFlowType
t1
,
RelevantDataFlowType
t2
)