Apply suggestions from code review

paldepind · intrigus-lgtm · web-flow · commit 59f3f1f1e995 · 2024-12-12T08:58:35.000+01:00
Co-authored-by: intrigus-lgtm &lt;60750685+intrigus-lgtm@users.noreply.github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/dataflow/Ssa.qll b/rust/ql/lib/codeql/rust/dataflow/Ssa.qll
@@ -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(|| {
diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
@@ -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)
 }

Original file line number	Diff line number	Diff line change
`@@ -342,7 +342,7 @@ module Ssa {`
`342`	`342`	`* An SSA definition inserted at a call that may update the value of a captured`
`343`	`343`	`* variable. For example, in`
`344`	`344`	`*`
`345`		- * ```rb
	`345`	+ * ```rust
`346`	`346`	`* fn capture_mut() {`
`347`	`347`	`* let mut y = 0;`
`348`	`348`	`* (0..5).for_each(\|\| {`
Original file line number	Diff line number	Diff line change
`@@ -769,7 +769,7 @@ final class SingletonContentSet extends ContentSet, TSingletonContentSet {`
`769`	`769`
`770`	`770`	`class LambdaCallKind = Unit;`
`771`	`771`
`772`		-/** Holds if `creation` is an expression that creates a lambda of kind `kind` for `c`. */
	`772`	+/** Holds if `creation` is an expression that creates a lambda of kind `kind`. */
`773`	`773`	`private predicate lambdaCreationExpr(Expr creation, LambdaCallKind kind) {`
`774`	`774`	`creation instanceof ClosureExpr and exists(kind)`
`775`	`775`	`}`