1 files changed, 73 insertions, 134 deletions
diff --git a/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt b/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt
index 5adab705b..88282ca1a 100644
--- a/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt
+++ b/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt
@@ -1,5 +1,5 @@
 FILE@[0; 164)
-  TRAIT_DEF@[0; 164)
+  TRAIT_DEF@[0; 66)
    VISIBILITY@[0; 3)
      PUB_KW@[0; 3)
    WHITESPACE@[3; 4)
@@ -10,142 +10,81 @@ FILE@[0; 164)
    WHITESPACE@[22; 23)
    L_CURLY@[23; 24)
    WHITESPACE@[24; 29)
-    FN_DEF@[29; 164)
+    FN_DEF@[29; 64)
      FN_KW@[29; 31)
      WHITESPACE@[31; 32)
      NAME@[32; 45)
        IDENT@[32; 45) "write_message"
-      PARAM_LIST@[45; 164)
+      PARAM_LIST@[45; 63)
        L_PAREN@[45; 46)
-        PARAM@[46; 63)
+        PARAM@[46; 62)
-          REF_PAT@[46; 62)
+          REFERENCE_TYPE@[46; 62)
            AMP@[46; 47)
-            BIND_PAT@[47; 62)
+            PATH_TYPE@[47; 62)
-              NAME@[47; 62)
+              PATH@[47; 62)
-                IDENT@[47; 62) "FrontendMessage"
+                PATH_SEGMENT@[47; 62)
-                err: `expected COLON`
+                  NAME_REF@[47; 62)
-                err: `expected type`
+                    IDENT@[47; 62) "FrontendMessage"
-          ERROR@[62; 63)
+        R_PAREN@[62; 63)
-            R_PAREN@[62; 63)
+      SEMI@[63; 64)
-            err: `expected COMMA`
+    WHITESPACE@[64; 65)
-            err: `expected pattern`
+    R_CURLY@[65; 66)
-        PARAM@[63; 66)
+  WHITESPACE@[66; 68)
-          ERROR@[63; 64)
+  TRAIT_DEF@[68; 104)
-            SEMI@[63; 64)
+    TRAIT_KW@[68; 73)
-            err: `expected COLON`
+    WHITESPACE@[73; 74)
-          WHITESPACE@[64; 65)
+    NAME@[74; 82)
-          err: `expected type`
+      IDENT@[74; 82) "Runnable"
-          ERROR@[65; 66)
+    WHITESPACE@[82; 83)
-            R_CURLY@[65; 66)
+    L_CURLY@[83; 84)
-            err: `expected COMMA`
+    WHITESPACE@[84; 89)
-        WHITESPACE@[66; 68)
+    FN_DEF@[89; 102)
-        err: `expected pattern`
+      FN_KW@[89; 91)
-        PARAM@[68; 82)
+      WHITESPACE@[91; 92)
-          ERROR@[68; 73)
+      NAME@[92; 99)
-            TRAIT_KW@[68; 73)
+        IDENT@[92; 99) "handler"
-            err: `expected COLON`
+      PARAM_LIST@[99; 101)
-          WHITESPACE@[73; 74)
+        L_PAREN@[99; 100)
-          PATH_TYPE@[74; 82)
+        R_PAREN@[100; 101)
-            PATH@[74; 82)
+      SEMI@[101; 102)
-              PATH_SEGMENT@[74; 82)
+    WHITESPACE@[102; 103)
-                NAME_REF@[74; 82)
+    R_CURLY@[103; 104)
-                  IDENT@[74; 82) "Runnable"
+  WHITESPACE@[104; 106)
-                  err: `expected COMMA`
+  TRAIT_DEF@[106; 163)
-        WHITESPACE@[82; 83)
+    TRAIT_KW@[106; 111)
-        err: `expected pattern`
+    WHITESPACE@[111; 112)
-        PARAM@[83; 91)
+    NAME@[112; 125)
-          ERROR@[83; 84)
+      IDENT@[112; 125) "TraitWithExpr"
-            L_CURLY@[83; 84)
+    WHITESPACE@[125; 126)
-            err: `expected COLON`
+    L_CURLY@[126; 127)
-          WHITESPACE@[84; 89)
+    WHITESPACE@[127; 132)
-          FN_POINTER_TYPE@[89; 91)
+    FN_DEF@[132; 161)
-            FN_KW@[89; 91)
+      FN_KW@[132; 134)
-            err: `expected parameters`
+      WHITESPACE@[134; 135)
-            err: `expected COMMA`
+      NAME@[135; 147)
-        WHITESPACE@[91; 92)
+        IDENT@[135; 147) "fn_with_expr"
-        PARAM@[92; 102)
+      PARAM_LIST@[147; 160)
-          TUPLE_STRUCT_PAT@[92; 101)
+        L_PAREN@[147; 148)
-            PATH@[92; 99)
+        PARAM@[148; 159)
-              PATH_SEGMENT@[92; 99)
+          BIND_PAT@[148; 149)
-                NAME_REF@[92; 99)
+            NAME@[148; 149)
-                  IDENT@[92; 99) "handler"
+              IDENT@[148; 149) "x"
-            L_PAREN@[99; 100)
+          COLON@[149; 150)
-            R_PAREN@[100; 101)
+          WHITESPACE@[150; 151)
-            err: `expected COLON`
+          ARRAY_TYPE@[151; 159)
-            err: `expected type`
+            L_BRACK@[151; 152)
-          ERROR@[101; 102)
+            PATH_TYPE@[152; 155)
-            SEMI@[101; 102)
+              PATH@[152; 155)
-            err: `expected COMMA`
+                PATH_SEGMENT@[152; 155)
-        WHITESPACE@[102; 103)
+                  NAME_REF@[152; 155)
-        err: `expected pattern`
+                    IDENT@[152; 155) "i32"
-        PARAM@[103; 111)
+            SEMI@[155; 156)
-          ERROR@[103; 104)
+            WHITESPACE@[156; 157)
-            R_CURLY@[103; 104)
+            LITERAL@[157; 158)
-            err: `expected COLON`
+              INT_NUMBER@[157; 158) "1"
-          WHITESPACE@[104; 106)
+            R_BRACK@[158; 159)
-          err: `expected type`
+        R_PAREN@[159; 160)
-          ERROR@[106; 111)
+      SEMI@[160; 161)
-            TRAIT_KW@[106; 111)
+    WHITESPACE@[161; 162)
-            err: `expected COMMA`
+    R_CURLY@[162; 163)
-        WHITESPACE@[111; 112)
+  WHITESPACE@[163; 164)
-        PARAM@[112; 164)
-          STRUCT_PAT@[112; 163)
-            PATH@[112; 125)
-              PATH_SEGMENT@[112; 125)
-                NAME_REF@[112; 125)
-                  IDENT@[112; 125) "TraitWithExpr"
-            WHITESPACE@[125; 126)
-            L_CURLY@[126; 127)
-            WHITESPACE@[127; 132)
-            err: `expected a name`
-            BIND_PAT@[132; 134)
-              ERROR@[132; 134)
-                FN_KW@[132; 134)
-                err: `expected COMMA`
-            WHITESPACE@[134; 135)
-            BIND_PAT@[135; 147)
-              NAME@[135; 147)
-                IDENT@[135; 147) "fn_with_expr"
-                err: `expected COMMA`
-                err: `expected a name`
-            BIND_PAT@[147; 148)
-              ERROR@[147; 148)
-                L_PAREN@[147; 148)
-                err: `expected COMMA`
-            IDENT@[148; 149) "x"
-            COLON@[149; 150)
-            WHITESPACE@[150; 151)
-            SLICE_PAT@[151; 159)
-              L_BRACK@[151; 152)
-              BIND_PAT@[152; 155)
-                NAME@[152; 155)
-                  IDENT@[152; 155) "i32"
-                  err: `expected COMMA`
-                  err: `expected pattern`
-              ERROR@[155; 156)
-                SEMI@[155; 156)
-                err: `expected COMMA`
-              WHITESPACE@[156; 157)
-              LITERAL@[157; 158)
-                INT_NUMBER@[157; 158) "1"
-              R_BRACK@[158; 159)
-              err: `expected COMMA`
-              err: `expected a name`
-            BIND_PAT@[159; 160)
-              ERROR@[159; 160)
-                R_PAREN@[159; 160)
-                err: `expected COMMA`
-                err: `expected a name`
-            BIND_PAT@[160; 161)
-              ERROR@[160; 161)
-                SEMI@[160; 161)
-            WHITESPACE@[161; 162)
-            R_CURLY@[162; 163)
-            err: `expected COLON`
-          WHITESPACE@[163; 164)
-          err: `expected type`
-          err: `expected COMMA`
-          err: `expected R_PAREN`
-          err: `expected block`
-          err: `expected R_CURLY`
-          ERROR@[164; 164)

diff --git a/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt b/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt index 5adab705b..88282ca1a 100644 --- a/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt +++ b/crates/libsyntax2/tests/data/parser/ok/0030_traits.txt
@@ -1,5 +1,5 @@
1	FILE@[0; 164)	1	FILE@[0; 164)
2	TRAIT_DEF@[0; 164)	2	TRAIT_DEF@[0; 66)
3	VISIBILITY@[0; 3)	3	VISIBILITY@[0; 3)
4	PUB_KW@[0; 3)	4	PUB_KW@[0; 3)
5	WHITESPACE@[3; 4)	5	WHITESPACE@[3; 4)
@@ -10,142 +10,81 @@ FILE@[0; 164)
10	WHITESPACE@[22; 23)	10	WHITESPACE@[22; 23)
11	L_CURLY@[23; 24)	11	L_CURLY@[23; 24)
12	WHITESPACE@[24; 29)	12	WHITESPACE@[24; 29)
13	FN_DEF@[29; 164)	13	FN_DEF@[29; 64)
14	FN_KW@[29; 31)	14	FN_KW@[29; 31)
15	WHITESPACE@[31; 32)	15	WHITESPACE@[31; 32)
16	NAME@[32; 45)	16	NAME@[32; 45)
17	IDENT@[32; 45) "write_message"	17	IDENT@[32; 45) "write_message"
18	PARAM_LIST@[45; 164)	18	PARAM_LIST@[45; 63)
19	L_PAREN@[45; 46)	19	L_PAREN@[45; 46)
20	PARAM@[46; 63)	20	PARAM@[46; 62)
21	REF_PAT@[46; 62)	21	REFERENCE_TYPE@[46; 62)
22	AMP@[46; 47)	22	AMP@[46; 47)
23	BIND_PAT@[47; 62)	23	PATH_TYPE@[47; 62)
24	NAME@[47; 62)	24	PATH@[47; 62)
25	IDENT@[47; 62) "FrontendMessage"	25	PATH_SEGMENT@[47; 62)
26	err: `expected COLON`	26	NAME_REF@[47; 62)
27	err: `expected type`	27	IDENT@[47; 62) "FrontendMessage"
28	ERROR@[62; 63)	28	R_PAREN@[62; 63)
29	R_PAREN@[62; 63)	29	SEMI@[63; 64)
30	err: `expected COMMA`	30	WHITESPACE@[64; 65)
31	err: `expected pattern`	31	R_CURLY@[65; 66)
32	PARAM@[63; 66)	32	WHITESPACE@[66; 68)
33	ERROR@[63; 64)	33	TRAIT_DEF@[68; 104)
34	SEMI@[63; 64)	34	TRAIT_KW@[68; 73)
35	err: `expected COLON`	35	WHITESPACE@[73; 74)
36	WHITESPACE@[64; 65)	36	NAME@[74; 82)
37	err: `expected type`	37	IDENT@[74; 82) "Runnable"
38	ERROR@[65; 66)	38	WHITESPACE@[82; 83)
39	R_CURLY@[65; 66)	39	L_CURLY@[83; 84)
40	err: `expected COMMA`	40	WHITESPACE@[84; 89)
41	WHITESPACE@[66; 68)	41	FN_DEF@[89; 102)
42	err: `expected pattern`	42	FN_KW@[89; 91)
43	PARAM@[68; 82)	43	WHITESPACE@[91; 92)
44	ERROR@[68; 73)	44	NAME@[92; 99)
45	TRAIT_KW@[68; 73)	45	IDENT@[92; 99) "handler"
46	err: `expected COLON`	46	PARAM_LIST@[99; 101)
47	WHITESPACE@[73; 74)	47	L_PAREN@[99; 100)
48	PATH_TYPE@[74; 82)	48	R_PAREN@[100; 101)
49	PATH@[74; 82)	49	SEMI@[101; 102)
50	PATH_SEGMENT@[74; 82)	50	WHITESPACE@[102; 103)
51	NAME_REF@[74; 82)	51	R_CURLY@[103; 104)
52	IDENT@[74; 82) "Runnable"	52	WHITESPACE@[104; 106)
53	err: `expected COMMA`	53	TRAIT_DEF@[106; 163)
54	WHITESPACE@[82; 83)	54	TRAIT_KW@[106; 111)
55	err: `expected pattern`	55	WHITESPACE@[111; 112)
56	PARAM@[83; 91)	56	NAME@[112; 125)
57	ERROR@[83; 84)	57	IDENT@[112; 125) "TraitWithExpr"
58	L_CURLY@[83; 84)	58	WHITESPACE@[125; 126)
59	err: `expected COLON`	59	L_CURLY@[126; 127)
60	WHITESPACE@[84; 89)	60	WHITESPACE@[127; 132)
61	FN_POINTER_TYPE@[89; 91)	61	FN_DEF@[132; 161)
62	FN_KW@[89; 91)	62	FN_KW@[132; 134)
63	err: `expected parameters`	63	WHITESPACE@[134; 135)
64	err: `expected COMMA`	64	NAME@[135; 147)
65	WHITESPACE@[91; 92)	65	IDENT@[135; 147) "fn_with_expr"
66	PARAM@[92; 102)	66	PARAM_LIST@[147; 160)
67	TUPLE_STRUCT_PAT@[92; 101)	67	L_PAREN@[147; 148)
68	PATH@[92; 99)	68	PARAM@[148; 159)
69	PATH_SEGMENT@[92; 99)	69	BIND_PAT@[148; 149)
70	NAME_REF@[92; 99)	70	NAME@[148; 149)
71	IDENT@[92; 99) "handler"	71	IDENT@[148; 149) "x"
72	L_PAREN@[99; 100)	72	COLON@[149; 150)
73	R_PAREN@[100; 101)	73	WHITESPACE@[150; 151)
74	err: `expected COLON`	74	ARRAY_TYPE@[151; 159)
75	err: `expected type`	75	L_BRACK@[151; 152)
76	ERROR@[101; 102)	76	PATH_TYPE@[152; 155)
77	SEMI@[101; 102)	77	PATH@[152; 155)
78	err: `expected COMMA`	78	PATH_SEGMENT@[152; 155)
79	WHITESPACE@[102; 103)	79	NAME_REF@[152; 155)
80	err: `expected pattern`	80	IDENT@[152; 155) "i32"
81	PARAM@[103; 111)	81	SEMI@[155; 156)
82	ERROR@[103; 104)	82	WHITESPACE@[156; 157)
83	R_CURLY@[103; 104)	83	LITERAL@[157; 158)
84	err: `expected COLON`	84	INT_NUMBER@[157; 158) "1"
85	WHITESPACE@[104; 106)	85	R_BRACK@[158; 159)
86	err: `expected type`	86	R_PAREN@[159; 160)
87	ERROR@[106; 111)	87	SEMI@[160; 161)
88	TRAIT_KW@[106; 111)	88	WHITESPACE@[161; 162)
89	err: `expected COMMA`	89	R_CURLY@[162; 163)
90	WHITESPACE@[111; 112)	90	WHITESPACE@[163; 164)
91	PARAM@[112; 164)
92	STRUCT_PAT@[112; 163)
93	PATH@[112; 125)
94	PATH_SEGMENT@[112; 125)
95	NAME_REF@[112; 125)
96	IDENT@[112; 125) "TraitWithExpr"
97	WHITESPACE@[125; 126)
98	L_CURLY@[126; 127)
99	WHITESPACE@[127; 132)
100	err: `expected a name`
101	BIND_PAT@[132; 134)
102	ERROR@[132; 134)
103	FN_KW@[132; 134)
104	err: `expected COMMA`
105	WHITESPACE@[134; 135)
106	BIND_PAT@[135; 147)
107	NAME@[135; 147)
108	IDENT@[135; 147) "fn_with_expr"
109	err: `expected COMMA`
110	err: `expected a name`
111	BIND_PAT@[147; 148)
112	ERROR@[147; 148)
113	L_PAREN@[147; 148)
114	err: `expected COMMA`
115	IDENT@[148; 149) "x"
116	COLON@[149; 150)
117	WHITESPACE@[150; 151)
118	SLICE_PAT@[151; 159)
119	L_BRACK@[151; 152)
120	BIND_PAT@[152; 155)
121	NAME@[152; 155)
122	IDENT@[152; 155) "i32"
123	err: `expected COMMA`
124	err: `expected pattern`
125	ERROR@[155; 156)
126	SEMI@[155; 156)
127	err: `expected COMMA`
128	WHITESPACE@[156; 157)
129	LITERAL@[157; 158)
130	INT_NUMBER@[157; 158) "1"
131	R_BRACK@[158; 159)
132	err: `expected COMMA`
133	err: `expected a name`
134	BIND_PAT@[159; 160)
135	ERROR@[159; 160)
136	R_PAREN@[159; 160)
137	err: `expected COMMA`
138	err: `expected a name`
139	BIND_PAT@[160; 161)
140	ERROR@[160; 161)
141	SEMI@[160; 161)
142	WHITESPACE@[161; 162)
143	R_CURLY@[162; 163)
144	err: `expected COLON`
145	WHITESPACE@[163; 164)
146	err: `expected type`
147	err: `expected COMMA`
148	err: `expected R_PAREN`
149	err: `expected block`
150	err: `expected R_CURLY`
151	ERROR@[164; 164)