Rust: Add macro expr type inference test

Author: hvitved

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

@@ -1805,6 +1805,12 @@ mod indexers {
     }
 }
 
+mod macros {
+    pub fn f() {
+        let x = format!("Hello, {}", "World!"); // $ MISSING: type=x:String
+    }
+}
+
 fn main() {
     field_access::f();
     method_impl::f();
@@ -1827,4 +1833,5 @@ fn main() {
     async_::f();
     impl_trait::f();
     indexers::f();
+    macros::f();
 }

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

@@ -2634,9 +2634,13 @@ inferType
 | main.rs:1804:24:1804:25 | xs |  | file://:0:0:0:0 | [] |
 | main.rs:1804:24:1804:25 | xs | [T;...] | main.rs:1759:5:1760:13 | S |
 | main.rs:1804:24:1804:25 | xs | [T] | main.rs:1759:5:1760:13 | S |
-| main.rs:1810:5:1810:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1811:5:1811:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1811:20:1811:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1811:41:1811:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
-| main.rs:1827:5:1827:15 | ...::f(...) |  | {EXTERNAL LOCATION} | trait Future |
+| main.rs:1810:25:1810:35 | "Hello, {}" |  | {EXTERNAL LOCATION} | str |
+| main.rs:1810:25:1810:45 | ...::format(...) |  | {EXTERNAL LOCATION} | String |
+| main.rs:1810:25:1810:45 | { ... } |  | {EXTERNAL LOCATION} | String |
+| main.rs:1810:38:1810:45 | "World!" |  | {EXTERNAL LOCATION} | str |
+| main.rs:1816:5:1816:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1817:5:1817:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1817:20:1817:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1817:41:1817:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:1833:5:1833:15 | ...::f(...) |  | {EXTERNAL LOCATION} | trait Future |
 testFailures