github
diff --git a/‎rust/ql/.generated.list
Lines changed: 1 addition & 0 deletions b/‎rust/ql/.generated.list
Lines changed: 1 addition & 0 deletions
diff --git a/‎rust/ql/.gitattributes
Lines changed: 1 addition & 0 deletions b/‎rust/ql/.gitattributes
Lines changed: 1 addition & 0 deletions
diff --git a/‎rust/ql/lib/codeql/rust/elements/internal/ResolvableImpl.qll
Lines changed: 2 additions & 18 deletions b/‎rust/ql/lib/codeql/rust/elements/internal/ResolvableImpl.qll
Lines changed: 2 additions & 18 deletions
diff --git a/‎rust/ql/src/queries/telemetry/RustAnalyzerComparison.qll
Lines changed: 15 additions & 1 deletion b/‎rust/ql/src/queries/telemetry/RustAnalyzerComparison.qll
Lines changed: 15 additions & 1 deletion
@@ -7,6 +7,20 @@
 
 import rust
 
+/**
+ * Holds if this resolvable and the item `i` resolves to the same canonical
+ * path in the same crate
+ */
+pragma[nomagic]
+private predicate resolvesAsItem(Resolvable r, Item i) {
+  r.getResolvedPath() = i.getExtendedCanonicalPath() and
+  (
+    r.getResolvedCrateOrigin() = i.getCrateOrigin()
+    or
+    not r.hasResolvedCrateOrigin() and not i.hasCrateOrigin()
+  )
+}
+
 private signature module ResolvableSig {
   class Source {
     string toString();
@@ -94,7 +108,7 @@ private module PathResolution implements ResolvableSig {
 private module RustAnalyzerPathResolution implements CompareSig<PathResolution> {
   predicate isResolvable(PathResolution::Source s) { s.hasResolvedPath() }
 
-  Item resolve(PathResolution::Source s) { s.resolvesAsItem(result) }
+  Item resolve(PathResolution::Source s) { resolvesAsItem(s, result) }
 }
 
 private module QlPathResolution implements CompareSig<PathResolution> {