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