More tests

Author: hvitved

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

@@ -204,11 +204,42 @@ mod m5 {
     }
 }
 
+mod m6 {
+    #[derive(Debug)]
+    enum MyEnum<A> {
+        C1(A),
+        C2 { a: A },
+    }
+
+    #[derive(Debug)]
+    struct S1;
+    #[derive(Debug)]
+    struct S2;
+
+    impl<T> MyEnum<T> {
+        fn m1(self) -> T {
+            match self {
+                MyEnum::C1(a) => a,    // `a` missing type
+                MyEnum::C2 { a } => a, // `a` missing type
+            }
+        }
+    }
+
+    pub fn f() {
+        let x = MyEnum::C1(S1); // `MyEnum::C1(S1)` missing type at path 0
+        let y = MyEnum::C2 { a: S2 }; // `MyEnum::C2 { a: S2 }` missing type
+
+        println!("{:?}", x.m1()); // `x.m1` missing type
+        println!("{:?}", y.m1()); // `y`, `y.m1` missing type
+    }
+}
+
 fn main() {
     m1::f();
     m1::g(m1::Foo {}, m1::Foo {});
     m2::f();
     m3::f();
     m4::f();
     m5::f();
+    m6::f();
 }

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

@@ -152,9 +152,19 @@
 | main.rs:202:13:202:13 | x |  | main.rs:187:5:188:13 | struct S |
 | main.rs:202:17:202:17 | S |  | main.rs:187:5:188:13 | struct S |
 | main.rs:203:26:203:26 | x |  | main.rs:187:5:188:13 | struct S |
-| main.rs:208:5:208:9 | ...::f |  | main.rs:2:5:2:21 | struct Foo |
-| main.rs:208:5:208:11 | ...::f(...) |  | main.rs:2:5:2:21 | struct Foo |
-| main.rs:209:5:209:9 | ...::g |  | main.rs:2:5:2:21 | struct Foo |
-| main.rs:209:5:209:33 | ...::g(...) |  | main.rs:2:5:2:21 | struct Foo |
-| main.rs:209:11:209:20 | ...::Foo {...} |  | main.rs:2:5:2:21 | struct Foo |
-| main.rs:209:23:209:32 | ...::Foo {...} |  | main.rs:2:5:2:21 | struct Foo |
+| main.rs:220:15:220:18 | SelfParam |  | main.rs:208:5:212:5 | enum MyEnum |
+| main.rs:220:15:220:18 | SelfParam | 0 | main.rs:219:10:219:10 | T |
+| main.rs:221:19:221:22 | self |  | main.rs:208:5:212:5 | enum MyEnum |
+| main.rs:221:19:221:22 | self | 0 | main.rs:219:10:219:10 | T |
+| main.rs:229:13:229:13 | x |  | main.rs:208:5:212:5 | enum MyEnum |
+| main.rs:229:17:229:26 | ...::C1 |  | main.rs:208:5:212:5 | enum MyEnum |
+| main.rs:229:17:229:30 | ...::C1(...) |  | main.rs:208:5:212:5 | enum MyEnum |
+| main.rs:229:28:229:29 | S1 |  | main.rs:214:5:215:14 | struct S1 |
+| main.rs:230:33:230:34 | S2 |  | main.rs:216:5:217:14 | struct S2 |
+| main.rs:232:26:232:26 | x |  | main.rs:208:5:212:5 | enum MyEnum |
+| main.rs:238:5:238:9 | ...::f |  | main.rs:2:5:2:21 | struct Foo |
+| main.rs:238:5:238:11 | ...::f(...) |  | main.rs:2:5:2:21 | struct Foo |
+| main.rs:239:5:239:9 | ...::g |  | main.rs:2:5:2:21 | struct Foo |
+| main.rs:239:5:239:33 | ...::g(...) |  | main.rs:2:5:2:21 | struct Foo |
+| main.rs:239:11:239:20 | ...::Foo {...} |  | main.rs:2:5:2:21 | struct Foo |
+| main.rs:239:23:239:32 | ...::Foo {...} |  | main.rs:2:5:2:21 | struct Foo |