Rust: add test cases for basic unwrapping and pattern matching

Author: aibaars

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

@@ -2255,3 +2255,29 @@ fn main() {
     method_determined_by_argument_type::f(); // $ method=f
     dereference::test(); // $ method=test
 }
+
+pub mod unwrap {
+    pub fn test_unwrapping() -> Option<()> {
+        let value = Some(42);
+        if let Some(mesg) = value {
+            let mesg = mesg; // $ MISSING: type=mesg:i32
+            println!("{mesg}");
+        }
+        match value {
+            Some(mesg) => {
+                let mesg = mesg; // $ MISSING: type=mesg:i32
+                println!("{mesg}");
+            }
+            None => (),
+        };
+        let mesg = value.unwrap(); // $ method=unwrap
+        let mesg = mesg; // $ type=mesg:i32
+        println!("{mesg}");
+        let mesg = value?; // $ type=mesg:i32
+        println!("{mesg}");
+        let (a, b) = (10, true);
+        let a = a; // $ MISSING: type=a:i32
+        let b = b; // $ MISSING: type=b:bool
+        None
+    }
+}

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

@@ -3641,4 +3641,37 @@ inferType
 | main.rs:2234:20:2234:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
 | main.rs:2234:41:2234:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
 | main.rs:2250:5:2250:15 | ...::f(...) |  | {EXTERNAL LOCATION} | trait Future |
+| main.rs:2260:44:2282:5 | { ... } |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2261:13:2261:17 | value |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2261:13:2261:17 | value | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:2261:21:2261:28 | Some(...) |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2261:21:2261:28 | Some(...) | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:2261:26:2261:27 | 42 |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2262:29:2262:33 | value |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2262:29:2262:33 | value | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:2264:22:2264:29 | "{mesg}\\n" |  | file://:0:0:0:0 | & |
+| main.rs:2264:22:2264:29 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
+| main.rs:2266:15:2266:19 | value |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2266:15:2266:19 | value | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:2269:26:2269:33 | "{mesg}\\n" |  | file://:0:0:0:0 | & |
+| main.rs:2269:26:2269:33 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
+| main.rs:2273:13:2273:16 | mesg |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2273:20:2273:24 | value |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2273:20:2273:24 | value | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:2273:20:2273:33 | value.unwrap() |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2274:13:2274:16 | mesg |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2274:20:2274:23 | mesg |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2275:18:2275:25 | "{mesg}\\n" |  | file://:0:0:0:0 | & |
+| main.rs:2275:18:2275:25 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
+| main.rs:2275:20:2275:23 | mesg |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2276:13:2276:16 | mesg |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2276:20:2276:24 | value |  | {EXTERNAL LOCATION} | Option |
+| main.rs:2276:20:2276:24 | value | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:2276:20:2276:25 | TryExpr |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2277:18:2277:25 | "{mesg}\\n" |  | file://:0:0:0:0 | & |
+| main.rs:2277:18:2277:25 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
+| main.rs:2277:20:2277:23 | mesg |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2278:23:2278:24 | 10 |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2278:27:2278:30 | true |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2281:9:2281:12 | None |  | {EXTERNAL LOCATION} | Option |
 testFailures