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.TypeTrackingImplpredicate nonSourceStoreTarget(Node n, string msg)