Merge branch 'main' into redsun82/update-rules-rust

Author: redsun82

.github/dependabot.yml

@@ -45,3 +45,5 @@ updates:
     directory: "/"
     schedule:
       interval: weekly
+    exclude-paths:
+      - "misc/bazel/registry/**"

MODULE.bazel

@@ -15,8 +15,8 @@ local_path_override(
 # see https://registry.bazel.build/ for a list of available packages
 
 bazel_dep(name = "platforms", version = "1.0.0")
-bazel_dep(name = "rules_cc", version = "0.2.16")
-bazel_dep(name = "rules_go", version = "0.59.0")
+bazel_dep(name = "rules_cc", version = "0.2.17")
+bazel_dep(name = "rules_go", version = "0.60.0")
 bazel_dep(name = "rules_java", version = "9.0.3")
 bazel_dep(name = "rules_pkg", version = "1.0.1")
 bazel_dep(name = "rules_nodejs", version = "6.7.3")

rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

@@ -3040,7 +3040,9 @@ private module ConstructionMatchingInput implements MatchingInputSig {
 
     override AstNode getNodeAt(AccessPosition apos) {
       result =
-        this.getFieldExpr(this.getNthStructField(apos.asPosition()).getName().getText()).getExpr()
+        this.getFieldExpr(pragma[only_bind_into](this.getNthStructField(apos.asPosition())
+              .getName()
+              .getText())).getExpr()
       or
       result = this and apos.isReturn()
     }
@@ -3573,7 +3575,9 @@ private module DeconstructionPatMatchingInput implements MatchingInputSig {
       this =
         any(StructPat sp |
           result =
-            sp.getPatField(sp.getNthStructField(apos.asPosition()).getName().getText()).getPat()
+            sp.getPatField(pragma[only_bind_into](sp.getNthStructField(apos.asPosition())
+                  .getName()
+                  .getText())).getPat()
         )
       or
       result = this.(TupleStructPat).getField(apos.asPosition())