Rust: type inference: add test for closure argument

Author: aibaars

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

@@ -3213,6 +3213,14 @@ pub mod pattern_matching {
     }
 }
 
+mod closures {
+    pub fn f() {
+        Some(1).map(|x| {
+            let x = x; // $ MISSING: type=x:i32
+            println!("{x}");
+        });  // $ method=map
+    }
+}
 fn main() {
     field_access::f(); // $ method=f
     method_impl::f(); // $ method=f
@@ -3242,4 +3250,5 @@ fn main() {
     tuples::f(); // $ method=f
     dereference::test(); // $ method=test
     pattern_matching::test_all_patterns(); // $ method=test_all_patterns
+    closures::f() // $ method=f
 }

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

@@ -5396,9 +5396,17 @@ inferType
 | main.rs:3186:42:3186:48 | guard_x |  | {EXTERNAL LOCATION} | i32 |
 | main.rs:3188:13:3188:13 | _ |  | {EXTERNAL LOCATION} | i32 |
 | main.rs:3193:9:3193:11 | f(...) |  | {EXTERNAL LOCATION} | Option |
-| main.rs:3218:5:3218:20 | ...::f(...) |  | main.rs:72:5:72:21 | Foo |
-| main.rs:3219:5:3219:60 | ...::g(...) |  | main.rs:72:5:72:21 | Foo |
-| main.rs:3219:20:3219:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
-| main.rs:3219:41:3219:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
-| main.rs:3235:5:3235:15 | ...::f(...) |  | {EXTERNAL LOCATION} | trait Future |
+| main.rs:3218:9:3218:15 | Some(...) |  | {EXTERNAL LOCATION} | Option |
+| main.rs:3218:9:3218:15 | Some(...) | T | {EXTERNAL LOCATION} | i32 |
+| main.rs:3218:9:3221:10 | ... .map(...) |  | {EXTERNAL LOCATION} | Option |
+| main.rs:3218:14:3218:14 | 1 |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:3220:22:3220:26 | "{x}\\n" |  | file://:0:0:0:0 | & |
+| main.rs:3220:22:3220:26 | "{x}\\n" | &T | {EXTERNAL LOCATION} | str |
+| main.rs:3220:22:3220:26 | FormatArgsExpr |  | {EXTERNAL LOCATION} | Arguments |
+| main.rs:3220:22:3220:26 | MacroExpr |  | {EXTERNAL LOCATION} | Arguments |
+| main.rs:3226:5:3226:20 | ...::f(...) |  | main.rs:72:5:72:21 | Foo |
+| main.rs:3227:5:3227:60 | ...::g(...) |  | main.rs:72:5:72:21 | Foo |
+| main.rs:3227:20:3227:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
+| main.rs:3227:41:3227:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
+| main.rs:3243:5:3243:15 | ...::f(...) |  | {EXTERNAL LOCATION} | trait Future |
 testFailures