Rust: Add type inference test

Author: hvitved

rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected

@@ -13,23 +13,25 @@ multipleResolvedTargets
 | dyn_type.rs:90:10:90:13 | * ... |
 | invalid/main.rs:69:13:69:17 | * ... |
 | invalid/main.rs:76:13:76:17 | * ... |
-| main.rs:1077:14:1077:18 | * ... |
-| main.rs:1159:26:1159:30 | * ... |
-| main.rs:1504:14:1504:21 | * ... |
-| main.rs:1504:16:1504:20 | * ... |
-| main.rs:1509:14:1509:18 | * ... |
-| main.rs:1540:27:1540:29 | * ... |
-| main.rs:1654:17:1654:24 | * ... |
-| main.rs:1654:18:1654:24 | * ... |
-| main.rs:1792:17:1792:21 | * ... |
-| main.rs:1807:28:1807:32 | * ... |
-| main.rs:2440:13:2440:18 | * ... |
-| main.rs:2634:13:2634:31 | ...::from(...) |
-| main.rs:2635:13:2635:31 | ...::from(...) |
-| main.rs:2636:13:2636:31 | ...::from(...) |
-| main.rs:2642:13:2642:31 | ...::from(...) |
-| main.rs:2643:13:2643:31 | ...::from(...) |
-| main.rs:2644:13:2644:31 | ...::from(...) |
-| main.rs:3067:13:3067:17 | x.f() |
+| main.rs:841:9:841:14 | x.m2() |
+| main.rs:842:9:842:14 | y.m2() |
+| main.rs:1092:14:1092:18 | * ... |
+| main.rs:1174:26:1174:30 | * ... |
+| main.rs:1519:14:1519:21 | * ... |
+| main.rs:1519:16:1519:20 | * ... |
+| main.rs:1524:14:1524:18 | * ... |
+| main.rs:1555:27:1555:29 | * ... |
+| main.rs:1669:17:1669:24 | * ... |
+| main.rs:1669:18:1669:24 | * ... |
+| main.rs:1807:17:1807:21 | * ... |
+| main.rs:1822:28:1822:32 | * ... |
+| main.rs:2455:13:2455:18 | * ... |
+| main.rs:2649:13:2649:31 | ...::from(...) |
+| main.rs:2650:13:2650:31 | ...::from(...) |
+| main.rs:2651:13:2651:31 | ...::from(...) |
+| main.rs:2657:13:2657:31 | ...::from(...) |
+| main.rs:2658:13:2658:31 | ...::from(...) |
+| main.rs:2659:13:2659:31 | ...::from(...) |
+| main.rs:3082:13:3082:17 | x.f() |
 | pattern_matching.rs:273:13:273:27 | * ... |
 | pattern_matching.rs:273:14:273:27 | * ... |

rust/ql/test/library-tests/type-inference/main.rs

@@ -827,6 +827,21 @@ mod function_trait_bounds {
         }
     }
 
+    trait MyTrait2 {
+        // MyTrait2::m2
+        fn m2(self);
+    }
+
+    trait MyTrait3 {
+        // MyTrait3::m2
+        fn m2(&self);
+    }
+
+    fn bound_overlap<T: MyTrait2 + MyTrait3>(x: T, y: &T) {
+        x.m2(); // $ target=MyTrait2::m2 $ SPURIOUS: target=MyTrait3::m2
+        y.m2(); // $ target=MyTrait3::m2 $ SPURIOUS: target=MyTrait2::m2
+    }
+
     pub fn f() {
         let x = MyThing { a: S1 };
         let y = MyThing { a: S2 };