We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e377a0e commit f4aa360Copy full SHA for f4aa360
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
@@ -843,8 +843,10 @@ module RustDataFlow implements InputSig<Location> {
843
844
/** Holds if `creation` is an expression that creates a lambda of kind `kind` for `c`. */
845
predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c) {
846
- exists(Expr cl | cl = creation.asExpr().getExpr() and cl = c.asCfgScope() |
847
- cl instanceof ClosureExpr or cl instanceof AsyncBlockExpr
+ exists(Expr cl |
+ cl = creation.asExpr().getExpr() and
848
+ cl = c.asCfgScope() and
849
+ cl instanceof ClosureExpr
850
) and
851
exists(kind)
852
}
0 commit comments