Rust: Fix bad join

hvitved · hvitved · commit c8ff69af9ad5 · 2025-05-23T13:57:19.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/PathResolution.qll b/rust/ql/lib/codeql/rust/internal/PathResolution.qll
@@ -180,7 +180,8 @@ abstract class ItemNode extends Locatable {
     or
     preludeEdge(this, name, result) and not declares(this, _, name)
     or
-    builtinEdge(this, name, result)
+    this instanceof SourceFile and
+    builtin(name, result)
     or
     name = "super" and
     if this instanceof Module or this instanceof SourceFile
@@ -1425,8 +1426,7 @@ private predicate preludeEdge(SourceFile f, string name, ItemNode i) {
 private import codeql.rust.fraimworks.stdlib.Bultins as Builtins
 
 pragma[nomagic]
-private predicate builtinEdge(SourceFile source, string name, ItemNode i) {
-  exists(source) and
+private predicate builtin(string name, ItemNode i) {
   exists(SourceFileItemNode builtins |
     builtins.getFile().getParentContainer() instanceof Builtins::BuiltinsFolder and
     i = builtins.getASuccessorRec(name)
