wip

Author: hvitved

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

@@ -639,7 +639,11 @@ class ImplItemNode extends ImplOrTraitItemNode instanceof Impl {
     exists(Crate c2, TraitItemNode trait |
       trait = this.resolveTraitTy() and
       result = trait.getCanonicalPath(c2) and
-      if this.hasCanonicalPath(c2) then c = c2 else c2 = c.getADependency()
+      if this.hasCanonicalPath(c2)
+      then c = c2
+      else (
+        c2 = c.getADependency() or c = c2.getADependency()
+      )
     )
   }
 
@@ -1508,8 +1512,8 @@ private module Debug {
   private Locatable getRelevantLocatable() {
     exists(string filepath, int startline, int startcolumn, int endline, int endcolumn |
       result.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) and
-      filepath.matches("%/clean/types.rs") and
-      startline = [5, 350]
+      filepath.matches("%/term.rs") and
+      startline = [71]
     )
   }