Predicate Flow::ConsistencyChecks::closureAliasMustBeInSameScope
Import path
import codeql.dataflow.VariableCapturepredicate closureAliasMustBeInSameScope(ClosureExpr ce, Expr access, string msg)import codeql.dataflow.VariableCapturepredicate closureAliasMustBeInSameScope(ClosureExpr ce, Expr access, string msg)