Apply suggestions from code review

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

Author: hvitved

rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll

@@ -79,7 +79,7 @@ module Impl {
    * are parsed left-associatively, so the AST for the condition looks like
    *
    * ```rust
-   * ((let x1 = ... && let x2 = ...) && ...) & let xn = ...
+   * ((let x1 = ... && let x2 = ...) && ...) && let xn = ...
    * ```
    *
    * This, however, does not work with scoping and shadowing, so we instead treat
@@ -319,10 +319,10 @@ module Impl {
       result.(Param).getPat() = getAPatAncestor*(this.getPat())
     }
 
-    /** Hold is this variable is mutable. */
+    /** Holds if this variable is mutable. */
     predicate isMutable() { this.getPat().isMut() or this.getSelfParam().isMut() }
 
-    /** Hold is this variable is immutable. */
+    /** Holds if this variable is immutable. */
     predicate isImmutable() { not this.isMutable() }
   }
 

shared/namebinding/codeql/namebinding/LocalNameBinding.qll

@@ -132,7 +132,7 @@ signature module LocalNameBindingInputSig<LocationSig Location> {
    *
    * If `scope` declares a local with the name of `n`, then `scope` is guaranteed
    * to be the scope that `n` ultimately resolves to. This can thus be used to take
-   * full control of scope resolution for for specific types of references.
+   * full control of scope resolution for specific types of references.
    */
   default predicate lookupStartsAt(AstNode n, AstNode scope) { none() }
 }