Rust: Add type inference test

Author: hvitved

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

@@ -30,6 +30,6 @@ multipleResolvedTargets
 | 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:3073:13:3073: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

@@ -3038,7 +3038,13 @@ mod context_typed {
 
 mod literal_overlap {
     trait MyTrait {
+        // MyTrait::f
         fn f(self) -> Self;
+
+        // MyTrait::g
+        fn g(&self, other: &Self) -> &Self {
+            self.f() // $ target=Reff
+        }
     }
 
     impl MyTrait for i32 {
@@ -3067,6 +3073,12 @@ mod literal_overlap {
         x = x.f(); // $ target=usizef $ SPURIOUS: target=i32f
         x
     }
+
+    fn g() {
+        let x: usize = 0;
+        let y = &1;
+        let z = x.g(y); // $ target=MyTrait::g
+    }
 }
 
 mod blanket_impl;