bring had_errors back

Author: rahxephon89

third_party/move/move-compiler-v2/tests/checking/naming/standalone_mname.exp

@@ -1,11 +1,5 @@
 
 Diagnostics:
-error: unable to infer type: `?0`
-  ┌─ tests/checking/naming/standalone_mname.move:3:13
-  │
-3 │         let m = M;
-  │             ^
-
 error: undeclared `M::M`
   ┌─ tests/checking/naming/standalone_mname.move:3:17
   │

third_party/move/move-compiler-v2/tests/checking/naming/unbound_module_name.exp

@@ -1,23 +1,11 @@
 
 Diagnostics:
-error: unable to infer type: `?0`
-  ┌─ tests/checking/naming/unbound_module_name.move:7:13
-  │
-7 │         let x = N::c;
-  │             ^
-
 error: undeclared `N::c`
   ┌─ tests/checking/naming/unbound_module_name.move:7:17
   │
 7 │         let x = N::c;
   │                 ^^^^
 
-error: unable to infer type: `?1`
-  ┌─ tests/checking/naming/unbound_module_name.move:8:13
-  │
-8 │         let y = Self::c;
-  │             ^
-
 error: undeclared `M::c`
   ┌─ tests/checking/naming/unbound_module_name.move:8:17
   │

third_party/move/move-compiler-v2/tests/checking/naming/unbound_struct_in_current.exp

@@ -30,44 +30,20 @@ error: undeclared struct `M::S`
 12 │         S {} = bar();
    │         ^
 
-error: unable to infer type: `?2`
-   ┌─ tests/checking/naming/unbound_struct_in_current.move:12:9
-   │
-12 │         S {} = bar();
-   │         ^^^^
-
 error: undeclared struct `M::S`
    ┌─ tests/checking/naming/unbound_struct_in_current.move:13:9
    │
 13 │         Self::S {} = bar();
    │         ^^^^^^^
 
-error: unable to infer type: `?5`
-   ┌─ tests/checking/naming/unbound_struct_in_current.move:13:9
-   │
-13 │         Self::S {} = bar();
-   │         ^^^^^^^^^^
-
 error: undeclared struct `M::S`
    ┌─ tests/checking/naming/unbound_struct_in_current.move:17:13
    │
 17 │         let S {} = bar();
    │             ^
 
-error: unable to infer type: `?1`
-   ┌─ tests/checking/naming/unbound_struct_in_current.move:17:13
-   │
-17 │         let S {} = bar();
-   │             ^^^^
-
 error: undeclared struct `M::S`
    ┌─ tests/checking/naming/unbound_struct_in_current.move:18:13
    │
 18 │         let Self::S {} = bar();
    │             ^^^^^^^
-
-error: unable to infer type: `?3`
-   ┌─ tests/checking/naming/unbound_struct_in_current.move:18:13
-   │
-18 │         let Self::S {} = bar();
-   │             ^^^^^^^^^^

third_party/move/move-compiler-v2/tests/checking/naming/unbound_unqualified_function.exp

@@ -6,12 +6,6 @@ error: no function named `bar` found
 3 │         bar();
   │         ^^^^^
 
-error: unable to infer type: `?1`
-  ┌─ tests/checking/naming/unbound_unqualified_function.move:4:13
-  │
-4 │         let x = bar();
-  │             ^
-
 error: no function named `bar` found
   ┌─ tests/checking/naming/unbound_unqualified_function.move:4:17
   │

third_party/move/move-compiler-v2/tests/checking/specs/expressions_err.exp

@@ -36,12 +36,6 @@ error: invalid call of `M::wrongly_typed_callee`: expected `bool` but found `u25
 32 │       wrongly_typed_callee(1, 1) // Wrongly typed function application
    │                               ^
 
-error: unable to infer type: `?1`
-   ┌─ tests/checking/specs/expressions_err.move:37:37
-   │
-37 │       wrongly_typed_fun_arg_callee(|x| false) // Wrongly typed function argument.
-   │                                     ^
-
 error: invalid call of `M::wrongly_typed_fun_arg_callee`: expected `num` but found `bool` for argument 1
    ┌─ tests/checking/specs/expressions_err.move:37:36
    │

third_party/move/move-compiler-v2/tests/checking/typing/assign_nested.exp

@@ -5,9 +5,3 @@ error: expected 4 item(s), found 3
    │
 14 │         (_, x, _) = four();
    │         ^^^^^^^^^
-
-error: unable to infer type: `?7`
-   ┌─ tests/checking/typing/assign_nested.move:14:9
-   │
-14 │         (_, x, _) = four();
-   │         ^^^^^^^^^

third_party/move/move-compiler-v2/tests/checking/typing/assign_unpack_references_invalid.exp

@@ -6,12 +6,6 @@ error: expected `&u64` but found `integer` (from assignment or declaration conte
 9 │         f = 0;
   │         ^
 
-error: unable to infer type: `?6`
-  ┌─ tests/checking/typing/assign_unpack_references_invalid.move:9:13
-  │
-9 │         f = 0;
-  │             ^
-
 error: expected `&M::S` but found `M::S` (from assignment or declaration context)
    ┌─ tests/checking/typing/assign_unpack_references_invalid.move:10:9
    │
@@ -24,12 +18,6 @@ error: expected `&mut u64` but found `integer` (from assignment or declaration c
 17 │         f = 0;
    │         ^
 
-error: unable to infer type: `?6`
-   ┌─ tests/checking/typing/assign_unpack_references_invalid.move:17:13
-   │
-17 │         f = 0;
-   │             ^
-
 error: expected `&mut M::S` but found `M::S` (from assignment or declaration context)
    ┌─ tests/checking/typing/assign_unpack_references_invalid.move:18:9
    │

third_party/move/move-compiler-v2/tests/checking/typing/assign_wrong_arity.exp

@@ -12,44 +12,14 @@ error: expected `()` but found `integer` (from assignment or declaration context
 8 │         () = 0;
   │         ^^
 
-error: unable to infer type: `?12`
-  ┌─ tests/checking/typing/assign_wrong_arity.move:8:14
-  │
-8 │         () = 0;
-  │              ^
-
-error: unable to infer type: `?14`
-  ┌─ tests/checking/typing/assign_wrong_arity.move:9:13
-  │
-9 │         let b;
-  │             ^
-
-error: unable to infer type: `?15`
-   ┌─ tests/checking/typing/assign_wrong_arity.move:10:13
-   │
-10 │         let f;
-   │             ^
-
 error: expected 4 item(s), found 3
    ┌─ tests/checking/typing/assign_wrong_arity.move:11:9
    │
 11 │         (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
    │         ^^^^^^^^^^^^
 
-error: unable to infer type: `?23`
-   ┌─ tests/checking/typing/assign_wrong_arity.move:11:9
-   │
-11 │         (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
-   │         ^^^^^^^^^^^^
-
 error: expected 2 item(s), found 3
    ┌─ tests/checking/typing/assign_wrong_arity.move:12:9
    │
 12 │         (x, b, R{f}) = (0, false);
    │         ^^^^^^^^^^^^
-
-error: unable to infer type: `?29`
-   ┌─ tests/checking/typing/assign_wrong_arity.move:12:9
-   │
-12 │         (x, b, R{f}) = (0, false);
-   │         ^^^^^^^^^^^^

third_party/move/move-compiler-v2/tests/checking/typing/assign_wrong_type.exp

@@ -12,60 +12,24 @@ error: expected `M::S` but found `M::R`
 9 │         (S { g }, R { f }) = (R{ f: 0 }, R{ f: 1 });
   │          ^^^^^^^
 
-error: unable to infer type: `?1`
-   ┌─ tests/checking/typing/assign_wrong_type.move:14:13
-   │
-14 │         let b;
-   │             ^
-
-error: unable to infer type: `?2`
-   ┌─ tests/checking/typing/assign_wrong_type.move:15:13
-   │
-15 │         let f;
-   │             ^
-
 error: expected `()` but found `integer` (from assignment or declaration context)
    ┌─ tests/checking/typing/assign_wrong_type.move:17:9
    │
 17 │         () = 0;
    │         ^^
 
-error: unable to infer type: `?6`
-   ┌─ tests/checking/typing/assign_wrong_type.move:17:14
-   │
-17 │         () = 0;
-   │              ^
-
 error: expected 4 item(s), found 3
    ┌─ tests/checking/typing/assign_wrong_type.move:18:9
    │
 18 │         (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
    │         ^^^^^^^^^^^^
 
-error: unable to infer type: `?15`
-   ┌─ tests/checking/typing/assign_wrong_type.move:18:9
-   │
-18 │         (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
-   │         ^^^^^^^^^^^^
-
 error: expected 2 item(s), found 3
    ┌─ tests/checking/typing/assign_wrong_type.move:19:9
    │
 19 │         (x, b, R{f}) = (0, false);
    │         ^^^^^^^^^^^^
 
-error: unable to infer type: `?21`
-   ┌─ tests/checking/typing/assign_wrong_type.move:19:9
-   │
-19 │         (x, b, R{f}) = (0, false);
-   │         ^^^^^^^^^^^^
-
-error: unable to infer type: `?1`
-   ┌─ tests/checking/typing/assign_wrong_type.move:24:17
-   │
-24 │         let b = 0;
-   │                 ^
-
 error: expected `bool` but found `integer` (from assignment or declaration context)
    ┌─ tests/checking/typing/assign_wrong_type.move:27:10
    │
@@ -89,9 +53,3 @@ error: expected `M::S` but found `M::R` (from assignment or declaration context)
    │
 27 │         (x, b, R{f}, r) = (0, false, R{f: 0}, R{f: 0});
    │                      ^
-
-error: unable to infer type: `?7`
-   ┌─ tests/checking/typing/assign_wrong_type.move:27:28
-   │
-27 │         (x, b, R{f}, r) = (0, false, R{f: 0}, R{f: 0});
-   │                            ^

third_party/move/move-compiler-v2/tests/checking/typing/bad_type_argument_arity_fun.exp

@@ -1,11 +1,5 @@
 
 Diagnostics:
-error: unable to infer type: `?0`
-   ┌─ tests/checking/typing/bad_type_argument_arity_fun.move:11:13
-   │
-11 │         let x = foo<>(0);
-   │             ^
-
 error: invalid call of `M::foo`: generic count mismatch (expected 1 but found 0)
    ┌─ tests/checking/typing/bad_type_argument_arity_fun.move:11:17
    │

third_party/move/move-compiler-v2/tests/checking/typing/bad_type_argument_arity_struct_unpack.exp

@@ -6,12 +6,6 @@ error: generic count mismatch (expected 1 but found 0)
 7 │         let S<> { f } = copy s;
   │             ^^^^^^^^^
 
-error: unable to infer type: `?1`
-  ┌─ tests/checking/typing/bad_type_argument_arity_struct_unpack.move:7:13
-  │
-7 │         let S<> { f } = copy s;
-  │             ^^^^^^^^^
-
 error: undeclared `M::f`
   ┌─ tests/checking/typing/bad_type_argument_arity_struct_unpack.move:8:9
   │
@@ -24,12 +18,6 @@ error: generic count mismatch (expected 1 but found 2)
 9 │         let S<u64, u64> { f } = copy s;
   │             ^^^^^^^^^^^^^^^^^
 
-error: unable to infer type: `?4`
-  ┌─ tests/checking/typing/bad_type_argument_arity_struct_unpack.move:9:13
-  │
-9 │         let S<u64, u64> { f } = copy s;
-  │             ^^^^^^^^^^^^^^^^^
-
 error: undeclared `M::f`
    ┌─ tests/checking/typing/bad_type_argument_arity_struct_unpack.move:10:9
    │

third_party/move/move-compiler-v2/tests/checking/typing/bind_unpack_references_invalid.exp

@@ -6,12 +6,6 @@ error: expected `&u64` but found `integer` (from assignment or declaration conte
 7 │         f = 0;
   │         ^
 
-error: unable to infer type: `?3`
-  ┌─ tests/checking/typing/bind_unpack_references_invalid.move:7:13
-  │
-7 │         f = 0;
-  │             ^
-
 error: expected `&M::S` but found `M::S` (from assignment or declaration context)
   ┌─ tests/checking/typing/bind_unpack_references_invalid.move:8:9
   │
@@ -24,12 +18,6 @@ error: expected `&mut u64` but found `integer` (from assignment or declaration c
 13 │         f = 0;
    │         ^
 
-error: unable to infer type: `?3`
-   ┌─ tests/checking/typing/bind_unpack_references_invalid.move:13:13
-   │
-13 │         f = 0;
-   │             ^
-
 error: expected `&mut M::S` but found `M::S` (from assignment or declaration context)
    ┌─ tests/checking/typing/bind_unpack_references_invalid.move:14:9
    │

third_party/move/move-compiler-v2/tests/checking/typing/bind_wrong_arity.exp

@@ -12,20 +12,8 @@ error: expected 4 item(s), found 3
 7 │         let (x, b, R{f}): (u64, bool, R, R) = (0, false, R{f: 0}, R{f: 0});
   │             ^^^^^^^^^^^^
 
-error: unable to infer type: `?3`
-  ┌─ tests/checking/typing/bind_wrong_arity.move:7:13
-  │
-7 │         let (x, b, R{f}): (u64, bool, R, R) = (0, false, R{f: 0}, R{f: 0});
-  │             ^^^^^^^^^^^^
-
 error: expected 2 item(s), found 3
   ┌─ tests/checking/typing/bind_wrong_arity.move:8:13
   │
 8 │         let (x, b, R{f}): (u64, bool) = (0, false);
   │             ^^^^^^^^^^^^
-
-error: unable to infer type: `?5`
-  ┌─ tests/checking/typing/bind_wrong_arity.move:8:13
-  │
-8 │         let (x, b, R{f}): (u64, bool) = (0, false);
-  │             ^^^^^^^^^^^^