Rust: Document overlapping function resoltion with test case

hvitved · hvitved · commit d55677b6fdf6 · 2025-12-01T10:08:44.000+01:00
diff --git a/rust/ql/test/library-tests/path-resolution/CONSISTENCY/PathResolutionConsistency.expected b/rust/ql/test/library-tests/path-resolution/CONSISTENCY/PathResolutionConsistency.expected
@@ -4,3 +4,4 @@ multipleCallTargets
 | main.rs:369:9:371:16 | ...::f(...) |
 | main.rs:450:9:454:16 | ...::f(...) |
 | main.rs:455:9:459:16 | ...::f(...) |
+| main.rs:551:9:552:15 | ...::Assoc(...) |
diff --git a/rust/ql/test/library-tests/path-resolution/main.rs b/rust/ql/test/library-tests/path-resolution/main.rs
@@ -545,6 +545,12 @@ mod m16 {
             !Self::Assoc() // $ item=S3boolAssocFunc
         } // S3boolAssocFunc
     }
+
+    #[rustfmt::skip]
+    fn foo() {
+        S3::<i32>:: // $ item=i32
+        Assoc(); // $ item=S3i32AssocFunc $ SPURIOUS: item=S3boolAssocFunc
+    }
 }
 
 mod trait_visibility {
diff --git a/rust/ql/test/library-tests/path-resolution/path-resolution.expected b/rust/ql/test/library-tests/path-resolution/path-resolution.expected

Original file line number	Diff line number	Diff line change
`@@ -545,6 +545,12 @@ mod m16 {`
`545`	`545`	`!Self::Assoc() // $ item=S3boolAssocFunc`
`546`	`546`	`} // S3boolAssocFunc`
`547`	`547`	`}`
	`548`	`+`
	`549`	`+ #[rustfmt::skip]`
	`550`	`+ fn foo() {`
	`551`	`+ S3::<i32>:: // $ item=i32`
	`552`	`+ Assoc(); // $ item=S3i32AssocFunc $ SPURIOUS: item=S3boolAssocFunc`
	`553`	`+ }`
`548`	`554`	`}`
`549`	`555`
`550`	`556`	`mod trait_visibility {`