Rust: Document overlapping function resoltion with test cases

Author: WordPress Auto Post To Facebook Twitter Google Plus

rust/ql/test/library-tests/path-resolution/CONSISTENCY/PathResolutionConsistency.expected

@@ -4,3 +4,6 @@ multipleCallTargets
 | main.rs:369:9:371:16 | ...::f(...) |
 | main.rs:450:9:454:16 | ...::f(...) |
 | main.rs:455:9:459:16 | ...::f(...) |
+| main.rs:565:9:566:15 | ...::Assoc(...) |
+| main.rs:568:9:569:12 | ...::f1(...) |
+| main.rs:571:9:572:12 | ...::f1(...) |

rust/ql/test/library-tests/path-resolution/main.rs

@@ -545,6 +545,32 @@ mod m16 {
  !Self::Assoc() // $ item=S3boolAssocFunc
  } // S3boolAssocFunc
  }
+
+ #[rustfmt::skip]
+ impl S3<i32> { // $ item=S3 item=i32
+ fn f1() -> i32 { // $ item=i32
+ 0
+ } // S3i32f1
+ }
+
+ #[rustfmt::skip]
+ impl S3<bool> { // $ item=S3 item=bool
+ fn f1() -> bool { // $ item=bool
+ true
+ } // S3boolf1
+ }
+
+ #[rustfmt::skip]
+ fn foo() {
+ S3::<i32>:: // $ item=i32
+ Assoc(); // $ item=S3i32AssocFunc $ SPURIOUS: item=S3boolAssocFunc
+
+ S3::<bool>:: // $ item=bool
+ f1(); // $ item=S3boolf1 $ SPURIOUS: item=S3i32f1
+ 
+ S3::<i32>:: // $ item=i32
+ f1(); // $ item=S3i32f1 $ SPURIOUS: item=S3boolf1
+ }
 }
 
 mod trait_visibility {