Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: intrigus-lgtm <[email protected]>
  • Loading branch information
paldepind and intrigus-lgtm authored Dec 12, 2024
1 parent 94b037f commit 59f3f1f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion rust/ql/lib/codeql/rust/dataflow/Ssa.qll
Original file line number Diff line number Diff line change
Expand Up @@ -342,7 +342,7 @@ module Ssa {
* An SSA definition inserted at a call that may update the value of a captured
* variable. For example, in
*
* ```rb
* ```rust
* fn capture_mut() {
* let mut y = 0;
* (0..5).for_each(|| {
Expand Down
2 changes: 1 addition & 1 deletion rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
Original file line number Diff line number Diff line change
Expand Up @@ -769,7 +769,7 @@ final class SingletonContentSet extends ContentSet, TSingletonContentSet {

class LambdaCallKind = Unit;

/** Holds if `creation` is an expression that creates a lambda of kind `kind` for `c`. */
/** Holds if `creation` is an expression that creates a lambda of kind `kind`. */
private predicate lambdaCreationExpr(Expr creation, LambdaCallKind kind) {
creation instanceof ClosureExpr and exists(kind)
}
Expand Down

0 comments on commit 59f3f1f

Please sign in to comment.