Rust: More type inference tests

Author: hvitved

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

@@ -5,9 +5,13 @@ multipleCallTargets
 | dereference.rs:184:17:184:30 | ... .foo() |
 | dereference.rs:186:17:186:25 | S.bar(...) |
 | dereference.rs:187:17:187:29 | S.bar(...) |
-| main.rs:2459:13:2459:31 | ...::from(...) |
-| main.rs:2460:13:2460:31 | ...::from(...) |
-| main.rs:2461:13:2461:31 | ...::from(...) |
-| main.rs:2467:13:2467:31 | ...::from(...) |
-| main.rs:2468:13:2468:31 | ...::from(...) |
-| main.rs:2469:13:2469:31 | ...::from(...) |
+| main.rs:589:9:589:14 | S4.m() |
+| main.rs:590:9:590:18 | ...::m(...) |
+| main.rs:591:9:591:20 | ... .m() |
+| main.rs:592:9:592:24 | ...::m(...) |
+| main.rs:2497:13:2497:31 | ...::from(...) |
+| main.rs:2498:13:2498:31 | ...::from(...) |
+| main.rs:2499:13:2499:31 | ...::from(...) |
+| main.rs:2505:13:2505:31 | ...::from(...) |
+| main.rs:2506:13:2506:31 | ...::from(...) |
+| main.rs:2507:13:2507:31 | ...::from(...) |

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

@@ -535,6 +535,37 @@ mod impl_overlap {
         }
     }
 
+    trait MyTrait1 {
+        // MyTrait1::m
+        fn m(&self) {}
+    }
+
+    trait MyTrait2: MyTrait1 {}
+
+    #[derive(Debug)]
+    struct S4;
+
+    impl MyTrait1 for S4 {
+        // <S4_as_MyTrait2>::m
+        fn m(&self) {}
+    }
+
+    impl MyTrait2 for S4 {}
+
+    #[derive(Debug)]
+    struct S5<T5>(T5);
+
+    impl MyTrait1 for S5<i32> {
+        // <S5<i32>_as_MyTrait2>::m
+        fn m(&self) {}
+    }
+
+    impl MyTrait2 for S5<i32> {}
+
+    impl MyTrait1 for S5<bool> {}
+
+    impl MyTrait2 for S5<bool> {}
+
     pub fn f() {
         let x = S1;
         println!("{:?}", x.common_method()); // $ target=S1::common_method
@@ -554,6 +585,13 @@ mod impl_overlap {
         let w = S3(S1);
         println!("{:?}", w.m(x)); // $ target=S3<T>::m
         println!("{:?}", S3::m(&w, x)); // $ target=S3<T>::m
+
+        S4.m(); // $ target=<S4_as_MyTrait2>::m $ SPURIOUS: target=MyTrait1::m
+        S4::m(&S4); // $ target=<S4_as_MyTrait2>::m $ SPURIOUS: target=MyTrait1::m
+        S5(0i32).m(); // $ target=<S5<i32>_as_MyTrait2>::m $ SPURIOUS: target=MyTrait1::m
+        S5::m(&S5(0i32)); // $ target=<S5<i32>_as_MyTrait2>::m $ SPURIOUS: target=MyTrait1::m
+        S5(true).m(); // $ target=MyTrait1::m
+        S5::m(&S5(true)); // $ target=MyTrait1::m
     }
 }