Rust: Add another type inference test

Author: hvitved

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

@@ -978,6 +978,33 @@ mod try_expressions {
     }
 }
 
+mod impl_overlap {
+    #[derive(Debug)]
+    struct S1;
+
+    trait MyTrait {
+        fn m1(self) -> S1;
+    }
+
+    impl MyTrait for S1 {
+        fn m1(self) -> S1 {
+            panic!("not called");
+        }
+    }
+
+    #[rustfmt::skip]
+    impl S1 {
+        fn m1(self) -> S1 { // target
+            self
+        }
+    }
+
+    pub fn f() {
+        let x = S1;
+        println!("{:?}", x.m1()); // $ method=target
+    }
+}
+
 fn main() {
     field_access::f();
     method_impl::f();
@@ -995,4 +1022,5 @@ fn main() {
     implicit_self_borrow::f();
     borrowed_typed::f();
     try_expressions::f();
+    impl_overlap::f();
 }

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

@@ -1,4 +1,5 @@
 testFailures
+| main.rs:1004:26:1004:31 | x.m1() | Unexpected result: method=m1 |
 inferType
 | loop/main.rs:7:12:7:15 | SelfParam |  | loop/main.rs:6:1:8:1 | Self [trait T1] |
 | loop/main.rs:11:12:11:15 | SelfParam |  | loop/main.rs:10:1:14:1 | Self [trait T2] |
@@ -1094,7 +1095,17 @@ inferType
 | main.rs:975:49:975:62 | ...::Ok(...) | E | main.rs:925:5:926:14 | S1 |
 | main.rs:975:49:975:62 | ...::Ok(...) | T | main.rs:925:5:926:14 | S1 |
 | main.rs:975:60:975:61 | S1 |  | main.rs:925:5:926:14 | S1 |
-| main.rs:983:5:983:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:984:5:984:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:984:20:984:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
-| main.rs:984:41:984:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:986:15:986:18 | SelfParam |  | main.rs:985:5:987:5 | Self [trait MyTrait] |
+| main.rs:990:15:990:18 | SelfParam |  | main.rs:982:5:983:14 | S1 |
+| main.rs:990:27:992:9 | { ... } |  | main.rs:982:5:983:14 | S1 |
+| main.rs:997:15:997:18 | SelfParam |  | main.rs:982:5:983:14 | S1 |
+| main.rs:997:27:999:9 | { ... } |  | main.rs:982:5:983:14 | S1 |
+| main.rs:998:13:998:16 | self |  | main.rs:982:5:983:14 | S1 |
+| main.rs:1003:13:1003:13 | x |  | main.rs:982:5:983:14 | S1 |
+| main.rs:1003:17:1003:18 | S1 |  | main.rs:982:5:983:14 | S1 |
+| main.rs:1004:26:1004:26 | x |  | main.rs:982:5:983:14 | S1 |
+| main.rs:1004:26:1004:31 | x.m1() |  | main.rs:982:5:983:14 | S1 |
+| main.rs:1010:5:1010:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1011:5:1011:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1011:20:1011:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1011:41:1011:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |