Skip to content

Commit 82ee673

Browse files
rahxephon89rahxephon89
committed
fix had_erros
1 parent 2c11d0c commit 82ee673

File tree

53 files changed

+965
-32
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+965
-32
lines changed

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

+6
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,11 @@
11

22
Diagnostics:
3+
error: unable to infer type: `?0`
4+
┌─ tests/checking/naming/standalone_mname.move:3:13
5+
│
6+
3 │ let m = M;
7+
│ ^
8+
39
error: undeclared `M::M`
410
┌─ tests/checking/naming/standalone_mname.move:3:17
511
│

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

+12
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,23 @@
11

22
Diagnostics:
3+
error: unable to infer type: `?0`
4+
┌─ tests/checking/naming/unbound_module_name.move:7:13
5+
│
6+
7 │ let x = N::c;
7+
│ ^
8+
39
error: undeclared `N::c`
410
┌─ tests/checking/naming/unbound_module_name.move:7:17
511
│
612
7 │ let x = N::c;
713
│ ^^^^
814

15+
error: unable to infer type: `?1`
16+
┌─ tests/checking/naming/unbound_module_name.move:8:13
17+
│
18+
8 │ let y = Self::c;
19+
│ ^
20+
921
error: undeclared `M::c`
1022
┌─ tests/checking/naming/unbound_module_name.move:8:17
1123
│

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

+24
Original file line numberDiff line numberDiff line change
@@ -30,20 +30,44 @@ error: undeclared struct `M::S`
3030
12 │ S {} = bar();
3131
│ ^
3232

33+
error: unable to infer type: `?2`
34+
┌─ tests/checking/naming/unbound_struct_in_current.move:12:9
35+
│
36+
12 │ S {} = bar();
37+
│ ^^^^
38+
3339
error: undeclared struct `M::S`
3440
┌─ tests/checking/naming/unbound_struct_in_current.move:13:9
3541
│
3642
13 │ Self::S {} = bar();
3743
│ ^^^^^^^
3844

45+
error: unable to infer type: `?5`
46+
┌─ tests/checking/naming/unbound_struct_in_current.move:13:9
47+
│
48+
13 │ Self::S {} = bar();
49+
│ ^^^^^^^^^^
50+
3951
error: undeclared struct `M::S`
4052
┌─ tests/checking/naming/unbound_struct_in_current.move:17:13
4153
│
4254
17 │ let S {} = bar();
4355
│ ^
4456

57+
error: unable to infer type: `?1`
58+
┌─ tests/checking/naming/unbound_struct_in_current.move:17:13
59+
│
60+
17 │ let S {} = bar();
61+
│ ^^^^
62+
4563
error: undeclared struct `M::S`
4664
┌─ tests/checking/naming/unbound_struct_in_current.move:18:13
4765
│
4866
18 │ let Self::S {} = bar();
4967
│ ^^^^^^^
68+
69+
error: unable to infer type: `?3`
70+
┌─ tests/checking/naming/unbound_struct_in_current.move:18:13
71+
│
72+
18 │ let Self::S {} = bar();
73+
│ ^^^^^^^^^^

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

+6
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ error: no function named `bar` found
66
3 │ bar();
77
│ ^^^^^
88

9+
error: unable to infer type: `?1`
10+
┌─ tests/checking/naming/unbound_unqualified_function.move:4:13
11+
│
12+
4 │ let x = bar();
13+
│ ^
14+
915
error: no function named `bar` found
1016
┌─ tests/checking/naming/unbound_unqualified_function.move:4:17
1117
│

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

+6
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,12 @@ error: invalid call of `M::wrongly_typed_callee`: expected `bool` but found `u25
3636
32 │ wrongly_typed_callee(1, 1) // Wrongly typed function application
3737
│ ^
3838

39+
error: unable to infer type: `?1`
40+
┌─ tests/checking/specs/expressions_err.move:37:37
41+
│
42+
37 │ wrongly_typed_fun_arg_callee(|x| false) // Wrongly typed function argument.
43+
│ ^
44+
3945
error: invalid call of `M::wrongly_typed_fun_arg_callee`: expected `num` but found `bool` for argument 1
4046
┌─ tests/checking/specs/expressions_err.move:37:36
4147
│

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

+6
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,9 @@ error: expected 4 item(s), found 3
55
│
66
14 │ (_, x, _) = four();
77
│ ^^^^^^^^^
8+
9+
error: unable to infer type: `?7`
10+
┌─ tests/checking/typing/assign_nested.move:14:9
11+
│
12+
14 │ (_, x, _) = four();
13+
│ ^^^^^^^^^

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

+12
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ error: expected `&u64` but found `integer` (from assignment or declaration conte
66
9 │ f = 0;
77
│ ^
88

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

27+
error: unable to infer type: `?6`
28+
┌─ tests/checking/typing/assign_unpack_references_invalid.move:17:13
29+
│
30+
17 │ f = 0;
31+
│ ^
32+
2133
error: expected `&mut M::S` but found `M::S` (from assignment or declaration context)
2234
┌─ tests/checking/typing/assign_unpack_references_invalid.move:18:9
2335
│

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

+30
Original file line numberDiff line numberDiff line change
@@ -12,14 +12,44 @@ error: expected `()` but found `integer` (from assignment or declaration context
1212
8 │ () = 0;
1313
│ ^^
1414

15+
error: unable to infer type: `?12`
16+
┌─ tests/checking/typing/assign_wrong_arity.move:8:14
17+
│
18+
8 │ () = 0;
19+
│ ^
20+
21+
error: unable to infer type: `?14`
22+
┌─ tests/checking/typing/assign_wrong_arity.move:9:13
23+
│
24+
9 │ let b;
25+
│ ^
26+
27+
error: unable to infer type: `?15`
28+
┌─ tests/checking/typing/assign_wrong_arity.move:10:13
29+
│
30+
10 │ let f;
31+
│ ^
32+
1533
error: expected 4 item(s), found 3
1634
┌─ tests/checking/typing/assign_wrong_arity.move:11:9
1735
│
1836
11 │ (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
1937
│ ^^^^^^^^^^^^
2038

39+
error: unable to infer type: `?23`
40+
┌─ tests/checking/typing/assign_wrong_arity.move:11:9
41+
│
42+
11 │ (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
43+
│ ^^^^^^^^^^^^
44+
2145
error: expected 2 item(s), found 3
2246
┌─ tests/checking/typing/assign_wrong_arity.move:12:9
2347
│
2448
12 │ (x, b, R{f}) = (0, false);
2549
│ ^^^^^^^^^^^^
50+
51+
error: unable to infer type: `?29`
52+
┌─ tests/checking/typing/assign_wrong_arity.move:12:9
53+
│
54+
12 │ (x, b, R{f}) = (0, false);
55+
│ ^^^^^^^^^^^^

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

+42
Original file line numberDiff line numberDiff line change
@@ -12,24 +12,60 @@ error: expected `M::S` but found `M::R`
1212
9 │ (S { g }, R { f }) = (R{ f: 0 }, R{ f: 1 });
1313
│ ^^^^^^^
1414

15+
error: unable to infer type: `?1`
16+
┌─ tests/checking/typing/assign_wrong_type.move:14:13
17+
│
18+
14 │ let b;
19+
│ ^
20+
21+
error: unable to infer type: `?2`
22+
┌─ tests/checking/typing/assign_wrong_type.move:15:13
23+
│
24+
15 │ let f;
25+
│ ^
26+
1527
error: expected `()` but found `integer` (from assignment or declaration context)
1628
┌─ tests/checking/typing/assign_wrong_type.move:17:9
1729
│
1830
17 │ () = 0;
1931
│ ^^
2032

33+
error: unable to infer type: `?6`
34+
┌─ tests/checking/typing/assign_wrong_type.move:17:14
35+
│
36+
17 │ () = 0;
37+
│ ^
38+
2139
error: expected 4 item(s), found 3
2240
┌─ tests/checking/typing/assign_wrong_type.move:18:9
2341
│
2442
18 │ (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
2543
│ ^^^^^^^^^^^^
2644

45+
error: unable to infer type: `?15`
46+
┌─ tests/checking/typing/assign_wrong_type.move:18:9
47+
│
48+
18 │ (x, b, R{f}) = (0, false, R{f: 0}, R{f: 0});
49+
│ ^^^^^^^^^^^^
50+
2751
error: expected 2 item(s), found 3
2852
┌─ tests/checking/typing/assign_wrong_type.move:19:9
2953
│
3054
19 │ (x, b, R{f}) = (0, false);
3155
│ ^^^^^^^^^^^^
3256

57+
error: unable to infer type: `?21`
58+
┌─ tests/checking/typing/assign_wrong_type.move:19:9
59+
│
60+
19 │ (x, b, R{f}) = (0, false);
61+
│ ^^^^^^^^^^^^
62+
63+
error: unable to infer type: `?1`
64+
┌─ tests/checking/typing/assign_wrong_type.move:24:17
65+
│
66+
24 │ let b = 0;
67+
│ ^
68+
3369
error: expected `bool` but found `integer` (from assignment or declaration context)
3470
┌─ tests/checking/typing/assign_wrong_type.move:27:10
3571
│
@@ -53,3 +89,9 @@ error: expected `M::S` but found `M::R` (from assignment or declaration context)
5389
│
5490
27 │ (x, b, R{f}, r) = (0, false, R{f: 0}, R{f: 0});
5591
│ ^
92+
93+
error: unable to infer type: `?7`
94+
┌─ tests/checking/typing/assign_wrong_type.move:27:28
95+
│
96+
27 │ (x, b, R{f}, r) = (0, false, R{f: 0}, R{f: 0});
97+
│ ^

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

+6
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,11 @@
11

22
Diagnostics:
3+
error: unable to infer type: `?0`
4+
┌─ tests/checking/typing/bad_type_argument_arity_fun.move:11:13
5+
│
6+
11 │ let x = foo<>(0);
7+
│ ^
8+
39
error: invalid call of `M::foo`: generic count mismatch (expected 1 but found 0)
410
┌─ tests/checking/typing/bad_type_argument_arity_fun.move:11:17
511
│

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

+12
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ error: generic count mismatch (expected 1 but found 0)
66
7 │ let S<> { f } = copy s;
77
│ ^^^^^^^^^
88

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

27+
error: unable to infer type: `?4`
28+
┌─ tests/checking/typing/bad_type_argument_arity_struct_unpack.move:9:13
29+
│
30+
9 │ let S<u64, u64> { f } = copy s;
31+
│ ^^^^^^^^^^^^^^^^^
32+
2133
error: undeclared `M::f`
2234
┌─ tests/checking/typing/bad_type_argument_arity_struct_unpack.move:10:9
2335
│

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

+12
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ error: expected `&u64` but found `integer` (from assignment or declaration conte
66
7 │ f = 0;
77
│ ^
88

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

27+
error: unable to infer type: `?3`
28+
┌─ tests/checking/typing/bind_unpack_references_invalid.move:13:13
29+
│
30+
13 │ f = 0;
31+
│ ^
32+
2133
error: expected `&mut M::S` but found `M::S` (from assignment or declaration context)
2234
┌─ tests/checking/typing/bind_unpack_references_invalid.move:14:9
2335
│

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

+12
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,20 @@ error: expected 4 item(s), found 3
1212
7 │ let (x, b, R{f}): (u64, bool, R, R) = (0, false, R{f: 0}, R{f: 0});
1313
│ ^^^^^^^^^^^^
1414

15+
error: unable to infer type: `?3`
16+
┌─ tests/checking/typing/bind_wrong_arity.move:7:13
17+
│
18+
7 │ let (x, b, R{f}): (u64, bool, R, R) = (0, false, R{f: 0}, R{f: 0});
19+
│ ^^^^^^^^^^^^
20+
1521
error: expected 2 item(s), found 3
1622
┌─ tests/checking/typing/bind_wrong_arity.move:8:13
1723
│
1824
8 │ let (x, b, R{f}): (u64, bool) = (0, false);
1925
│ ^^^^^^^^^^^^
26+
27+
error: unable to infer type: `?5`
28+
┌─ tests/checking/typing/bind_wrong_arity.move:8:13
29+
│
30+
8 │ let (x, b, R{f}): (u64, bool) = (0, false);
31+
│ ^^^^^^^^^^^^

0 commit comments

Comments
 (0)