Predicate TypeTracking::ConsistencyChecks::nonSourceStoreTarget
Holds if there is a store target that isn’t a LocalSourceNode
and
backtracking store target feature isn’t enabled.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
predicate nonSourceStoreTarget(Node n, string msg)