Rust: More type inference tests

Author: hvitved

rust/ql/test/extractor-tests/generated/.generated_tests.list

@@ -5,9 +5,9 @@ multipleCallTargets
 | dereference.rs:184:17:184:30 | ... .foo() |
 | dereference.rs:186:17:186:25 | S.bar(...) |
 | dereference.rs:187:17:187:29 | S.bar(...) |
-| main.rs:2437:13:2437:31 | ...::from(...) |
-| main.rs:2438:13:2438:31 | ...::from(...) |
-| main.rs:2439:13:2439:31 | ...::from(...) |
-| main.rs:2445:13:2445:31 | ...::from(...) |
-| main.rs:2446:13:2446:31 | ...::from(...) |
-| main.rs:2447:13:2447:31 | ...::from(...) |
+| main.rs:2442:13:2442:31 | ...::from(...) |
+| main.rs:2443:13:2443:31 | ...::from(...) |
+| main.rs:2444:13:2444:31 | ...::from(...) |
+| main.rs:2450:13:2450:31 | ...::from(...) |
+| main.rs:2451:13:2451:31 | ...::from(...) |
+| main.rs:2452:13:2452:31 | ...::from(...) |

rust/ql/test/extractor-tests/generated/MatchArm/gen_match_arm.rs

@@ -2040,6 +2040,10 @@ mod async_ {
         async { S1 }
     }
 
+    fn f3() -> impl Future<Output = ()> {
+        async {}
+    }
+
     struct S2;
 
     impl Future for S2 {
@@ -2053,14 +2057,15 @@ mod async_ {
         }
     }
 
-    fn f3() -> impl Future<Output = S1> {
+    fn f4() -> impl Future<Output = S1> {
         S2
     }
 
     pub async fn f() {
         f1().await.f(); // $ target=S1f target=f1
         f2().await.f(); // $ target=S1f target=f2
-        f3().await.f(); // $ target=S1f target=f3
+        f3().await; // $ target=f3
+        f4().await.f(); // $ target=S1f target=f4
         S2.await.f(); // $ target=S1f
         let b = async { S1 };
         b.await.f(); // $ target=S1f
@@ -2742,6 +2747,14 @@ mod if_expr {
     }
 }
 
+mod local_function {
+    pub fn f() -> () {
+        fn local(x: i32) -> i32 {
+            x + 1 // $ target=add
+        }
+    }
+}
+
 mod blanket_impl;
 mod closure;
 mod dereference;
@@ -2780,4 +2793,5 @@ fn main() {
     pattern_matching_experimental::box_patterns(); // $ target=box_patterns
     dyn_type::test(); // $ target=test
     if_expr::f(true); // $ target=f
+    local_function::f(); // $ target=f
 }