Rust: Add type inference tests for literals

Author: hvitved

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

@@ -978,6 +978,20 @@ mod try_expressions {
     }
 }
 
+mod builtins {
+    pub fn f() {
+        let x: i32 = 1; // $ MISSING: type=x:i32
+        let y = 2; // $ MISSING: type=y:i32
+        let z = x + y; // $ MISSING: type=z:i32
+        let z = x.abs(); // $ MISSING: method=abs $ MISSING: type=z:i32
+        'c';
+        "Hello";
+        123.0f64;
+        true;
+        false;
+    }
+}
+
 fn main() {
     field_access::f();
     method_impl::f();
@@ -995,4 +1009,5 @@ fn main() {
     implicit_self_borrow::f();
     borrowed_typed::f();
     try_expressions::f();
+    builtins::f();
 }

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

@@ -1094,7 +1094,7 @@ inferType
 | main.rs:975:49:975:62 | ...::Ok(...) | E | main.rs:925:5:926:14 | S1 |
 | main.rs:975:49:975:62 | ...::Ok(...) | T | main.rs:925:5:926:14 | S1 |
 | main.rs:975:60:975:61 | S1 |  | main.rs:925:5:926:14 | S1 |
-| main.rs:983:5:983:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:984:5:984:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
-| main.rs:984:20:984:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
-| main.rs:984:41:984:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:997:5:997:20 | ...::f(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:998:5:998:60 | ...::g(...) |  | main.rs:67:5:67:21 | Foo |
+| main.rs:998:20:998:38 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |
+| main.rs:998:41:998:59 | ...::Foo {...} |  | main.rs:67:5:67:21 | Foo |