Rust: Add more type inference tests

Author: hvitved

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

@@ -9,9 +9,9 @@ multipleCallTargets
 | main.rs:590:9:590:18 | ...::m(...) |
 | main.rs:591:9:591:20 | ... .m() |
 | main.rs:592:9:592:24 | ...::m(...) |
-| main.rs:2524:13:2524:31 | ...::from(...) |
-| main.rs:2525:13:2525:31 | ...::from(...) |
-| main.rs:2526:13:2526:31 | ...::from(...) |
-| main.rs:2532:13:2532:31 | ...::from(...) |
-| main.rs:2533:13:2533:31 | ...::from(...) |
-| main.rs:2534:13:2534:31 | ...::from(...) |
+| main.rs:2546:13:2546:31 | ...::from(...) |
+| main.rs:2547:13:2547:31 | ...::from(...) |
+| main.rs:2548:13:2548:31 | ...::from(...) |
+| main.rs:2554:13:2554:31 | ...::from(...) |
+| main.rs:2555:13:2555:31 | ...::from(...) |
+| main.rs:2556:13:2556:31 | ...::from(...) |

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

@@ -758,6 +758,26 @@ mod function_trait_bounds {
         fn assoc(x: Self) -> A;
     }
 
+    impl<T: Default> MyTrait<T> for S2 {
+        fn m1(self) -> T {
+            Default::default() // $ target=default
+        }
+
+        fn assoc(x: Self) -> T {
+            Default::default() // $ target=default
+        }
+    }
+
+    impl MyTrait<i32> for S1 {
+        fn m1(self) -> i32 {
+            0
+        }
+
+        fn assoc(x: Self) -> i32 {
+            0
+        }
+    }
+
     // Type parameter with bound occurs in the root of a parameter type.
 
     fn call_trait_m1<T1, T2: MyTrait<T1> + Copy>(x: T2) -> T1 {
@@ -863,6 +883,8 @@ mod function_trait_bounds {
         println!("{:?}", b);
         let b = call_trait_thing_m1_3(y3); // $ type=b:S2 target=call_trait_thing_m1_3
         println!("{:?}", b);
+        let x = S1::m2(S1); // $ target=m2 $ type=x:i32
+        let y: i32 = S2::m2(S2); // $ target=m2
     }
 }