Module Cached

A collection of cached types and predicates to be evaluated in the same stage.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

commonSubType	Holds if GVNs `t1` and `t2` may have a common sub type. Neither `t1` nor `t2` are allowed to be type parameters.
commonSubTypeUnifiableLeft
forceCaching
localFlowStepImpl	Holds if data flows from `nodeFrom` to `nodeTo` in exactly one local (intra-procedural) step.