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

Rust: Fix bad join

Author: hvitved

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

@@ -26,6 +26,7 @@ module Impl {
     override string toAbbreviatedString() { result = "<...>" }
 
     /** Gets the `i`th type argument of this list. */
+    pragma[nomagic]
     TypeRepr getTypeArg(int i) {
       result =
         rank[i + 1](TypeRepr res, int j |

rust/ql/lib/codeql/rust/internal/TypeMention.qll

@@ -130,6 +130,7 @@ class PathTypeReprMention extends TypeMention instanceof PathTypeRepr {
    * Holds if this path resolved to a type alias with a rhs. that has the
    * resulting type at `typePath`.
    */
+  pragma[nomagic]
   Type aliasResolveTypeAt(TypePath typePath) {
     exists(TypeAlias alias, TypeMention rhs | alias = resolved and rhs = alias.getTypeRepr() |
       result = rhs.resolveTypeAt(typePath) and