Merge pull request #17814 from hvitved/rust/fix-bad-join

Rust: Fix bad join

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

@@ -31,6 +31,7 @@ module Impl {
     /**
      * Gets the `index`th arm of this match expression.
      */
+    pragma[nomagic]
     MatchArm getArm(int index) { result = this.getMatchArmList().getArm(index) }
 
     /**
@@ -41,6 +42,7 @@ module Impl {
     /**
      * Gets the number of arms of this match expression.
      */
+    pragma[nomagic]
     int getNumberOfArms() { result = this.getMatchArmList().getNumberOfArms() }
 
     /**