Rust: fix back type-inference.expected

Author: Paolo Tranquilli

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

@@ -1,6 +1,4 @@
 testFailures
-| main.rs:1249:26:1249:53 | //... | Missing result: method=abs |
-| main.rs:1249:26:1249:53 | //... | Missing result: type=z:i32 |
 inferType
 | loop/main.rs:7:12:7:15 | SelfParam |  | loop/main.rs:6:1:8:1 | Self [trait T1] |
 | loop/main.rs:11:12:11:15 | SelfParam |  | loop/main.rs:10:1:14:1 | Self [trait T2] |
@@ -1589,7 +1587,9 @@ inferType
 | main.rs:1248:17:1248:17 | x |  | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
 | main.rs:1248:17:1248:21 | ... + ... |  | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
 | main.rs:1248:21:1248:21 | y |  | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
+| main.rs:1249:13:1249:13 | z |  | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
 | main.rs:1249:17:1249:17 | x |  | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
+| main.rs:1249:17:1249:23 | x.abs() |  | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
 | main.rs:1250:13:1250:13 | c |  | file:///BUILTINS/types.rs:6:1:7:16 | char |
 | main.rs:1250:17:1250:19 | 'c' |  | file:///BUILTINS/types.rs:6:1:7:16 | char |
 | main.rs:1251:13:1251:17 | hello |  | file:///BUILTINS/types.rs:8:1:8:15 | str |