Rust: Add type inference tests for impl Trait

Author: hvitved

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

@@ -1305,6 +1305,37 @@ mod async_ {
     }
 }
 
+
+mod impl_trait {
+    struct S1;
+
+    trait Trait1 {
+        fn f1(&self) {} // Trait1f1
+    }
+
+    trait Trait2 {
+        fn f2(&self) {} // Trait2f2
+    }
+
+    impl Trait1 for S1 {
+        fn f1(&self) {} // S1f1
+    }
+
+    impl Trait2 for S1 {
+        fn f2(&self) {} // S1f2
+    }
+
+    fn f1() -> impl Trait1 + Trait2 {
+        S1
+    }
+
+    pub fn f() {
+        let x = f1();
+        x.f1(); // $ MISSING: method=Trait1f1
+        x.f2(); // $ MISSING: method=Trait2f2
+    }
+}
+
 fn main() {
     field_access::f();
     method_impl::f();

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

@@ -1637,7 +1637,17 @@ inferType
 | main.rs:1297:41:1299:5 | { ... } |  | main.rs:1287:5:1287:14 | S2 |
 | main.rs:1298:9:1298:10 | S2 |  | main.rs:1287:5:1287:14 | S2 |
 | main.rs:1302:9:1302:12 | f1(...) |  | main.rs:1271:5:1271:14 | S1 |
-| main.rs:1310:5:1310:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1311:5:1311:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1311:20:1311:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1311:41:1311:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1313:15:1313:19 | SelfParam |  | file://:0:0:0:0 | & |
+| main.rs:1313:15:1313:19 | SelfParam | &T | main.rs:1312:5:1314:5 | Self [trait Trait1] |
+| main.rs:1317:15:1317:19 | SelfParam |  | file://:0:0:0:0 | & |
+| main.rs:1317:15:1317:19 | SelfParam | &T | main.rs:1316:5:1318:5 | Self [trait Trait2] |
+| main.rs:1321:15:1321:19 | SelfParam |  | file://:0:0:0:0 | & |
+| main.rs:1321:15:1321:19 | SelfParam | &T | main.rs:1310:5:1310:14 | S1 |
+| main.rs:1325:15:1325:19 | SelfParam |  | file://:0:0:0:0 | & |
+| main.rs:1325:15:1325:19 | SelfParam | &T | main.rs:1310:5:1310:14 | S1 |
+| main.rs:1328:37:1330:5 | { ... } |  | main.rs:1310:5:1310:14 | S1 |
+| main.rs:1329:9:1329:10 | S1 |  | main.rs:1310:5:1310:14 | S1 |
+| main.rs:1341:5:1341:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1342:5:1342:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1342:20:1342:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1342:41:1342:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |