missing

Author: hvitved

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

@@ -958,9 +958,7 @@ inferType
 | invalid/main.rs:46:13:46:13 | b |  | invalid/main.rs:21:5:22:20 | Num |
 | invalid/main.rs:46:17:46:23 | Num(...) |  | invalid/main.rs:21:5:22:20 | Num |
 | invalid/main.rs:46:21:46:22 | 10 |  | {EXTERNAL LOCATION} | i32 |
-| invalid/main.rs:47:13:47:13 | c |  | invalid/main.rs:21:5:22:20 | Num |
 | invalid/main.rs:47:17:47:17 | a |  | invalid/main.rs:21:5:22:20 | Num |
-| invalid/main.rs:47:17:47:21 | ... + ... |  | invalid/main.rs:21:5:22:20 | Num |
 | invalid/main.rs:47:21:47:21 | b |  | invalid/main.rs:21:5:22:20 | Num |
 | main.rs:26:13:26:13 | x |  | main.rs:5:5:8:5 | MyThing |
 | main.rs:26:17:26:32 | MyThing {...} |  | main.rs:5:5:8:5 | MyThing |
@@ -6926,3 +6924,4 @@ inferType
 | pattern_matching.rs:827:5:827:7 | f(...) |  | {EXTERNAL LOCATION} | Option |
 | pattern_matching.rs:827:5:827:7 | f(...) | T | file://:0:0:0:0 | () |
 testFailures
+| invalid/main.rs:47:24:47:45 | //... | Missing result: target=BlanketAdd |