2 files changed, 111 insertions, 99 deletions
diff --git a/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt
index 8720fc6ea..b353a5383 100644
--- a/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt
+++ b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt
@@ -11,47 +11,51 @@ SOURCE_FILE@[0; 240)
          IDENT@[5; 6) "T"
        COLON@[6; 7)
        WHITESPACE@[7; 8)
-        L_PAREN@[8; 9)
+        TYPE_BOUND_LIST@[8; 47)
-        PATH_TYPE@[9; 13)
+          TYPE_BOUND@[8; 14)
-          PATH@[9; 13)
+            L_PAREN@[8; 9)
-            PATH_SEGMENT@[9; 13)
+            PATH_TYPE@[9; 13)
-              NAME_REF@[9; 13)
+              PATH@[9; 13)
-                IDENT@[9; 13) "Copy"
+                PATH_SEGMENT@[9; 13)
-        R_PAREN@[13; 14)
+                  NAME_REF@[9; 13)
-        WHITESPACE@[14; 15)
+                    IDENT@[9; 13) "Copy"
-        PLUS@[15; 16)
+            R_PAREN@[13; 14)
-        WHITESPACE@[16; 17)
+          WHITESPACE@[14; 15)
-        L_PAREN@[17; 18)
+          PLUS@[15; 16)
-        QUESTION@[18; 19)
+          WHITESPACE@[16; 17)
-        PATH_TYPE@[19; 24)
+          TYPE_BOUND@[17; 25)
-          PATH@[19; 24)
+            L_PAREN@[17; 18)
-            PATH_SEGMENT@[19; 24)
+            QUESTION@[18; 19)
-              NAME_REF@[19; 24)
+            PATH_TYPE@[19; 24)
-                IDENT@[19; 24) "Sized"
+              PATH@[19; 24)
-        R_PAREN@[24; 25)
+                PATH_SEGMENT@[19; 24)
-        WHITESPACE@[25; 26)
+                  NAME_REF@[19; 24)
-        PLUS@[26; 27)
+                    IDENT@[19; 24) "Sized"
-        WHITESPACE@[27; 28)
+            R_PAREN@[24; 25)
-        L_PAREN@[28; 29)
+          WHITESPACE@[25; 26)
-        FOR_TYPE@[29; 46)
+          PLUS@[26; 27)
-          FOR_KW@[29; 32)
+          WHITESPACE@[27; 28)
-          TYPE_PARAM_LIST@[32; 36)
+          TYPE_BOUND@[28; 47)
-            L_ANGLE@[32; 33)
+            L_PAREN@[28; 29)
-            LIFETIME_PARAM@[33; 35)
+            FOR_TYPE@[29; 46)
-              LIFETIME@[33; 35) "'a"
+              FOR_KW@[29; 32)
-            R_ANGLE@[35; 36)
+              TYPE_PARAM_LIST@[32; 36)
-          WHITESPACE@[36; 37)
+                L_ANGLE@[32; 33)
-          PATH_TYPE@[37; 46)
+                LIFETIME_PARAM@[33; 35)
-            PATH@[37; 46)
+                  LIFETIME@[33; 35) "'a"
-              PATH_SEGMENT@[37; 46)
+                R_ANGLE@[35; 36)
-                NAME_REF@[37; 42)
+              WHITESPACE@[36; 37)
-                  IDENT@[37; 42) "Trait"
+              PATH_TYPE@[37; 46)
-                TYPE_ARG_LIST@[42; 46)
+                PATH@[37; 46)
-                  L_ANGLE@[42; 43)
+                  PATH_SEGMENT@[37; 46)
-                  LIFETIME_ARG@[43; 45)
+                    NAME_REF@[37; 42)
-                    LIFETIME@[43; 45) "'a"
+                      IDENT@[37; 42) "Trait"
-                  R_ANGLE@[45; 46)
+                    TYPE_ARG_LIST@[42; 46)
-        R_PAREN@[46; 47)
+                      L_ANGLE@[42; 43)
+                      LIFETIME_ARG@[43; 45)
+                        LIFETIME@[43; 45) "'a"
+                      R_ANGLE@[45; 46)
+            R_PAREN@[46; 47)
      R_ANGLE@[47; 48)
    PARAM_LIST@[48; 50)
      L_PAREN@[48; 49)
@@ -101,39 +105,42 @@ SOURCE_FILE@[0; 240)
          WHITESPACE@[88; 89)
          PLUS@[89; 90)
          WHITESPACE@[90; 91)
-          L_PAREN@[91; 92)
+          TYPE_BOUND_LIST@[91; 121)
-          QUESTION@[92; 93)
+            TYPE_BOUND@[91; 99)
-          PATH_TYPE@[93; 98)
+              L_PAREN@[91; 92)
-            PATH@[93; 98)
+              QUESTION@[92; 93)
-              PATH_SEGMENT@[93; 98)
+              PATH_TYPE@[93; 98)
-                NAME_REF@[93; 98)
+                PATH@[93; 98)
-                  IDENT@[93; 98) "Sized"
+                  PATH_SEGMENT@[93; 98)
-          R_PAREN@[98; 99)
+                    NAME_REF@[93; 98)
-          WHITESPACE@[99; 100)
+                      IDENT@[93; 98) "Sized"
-          PLUS@[100; 101)
+              R_PAREN@[98; 99)
-          WHITESPACE@[101; 102)
+            WHITESPACE@[99; 100)
-          L_PAREN@[102; 103)
+            PLUS@[100; 101)
-          FOR_TYPE@[103; 120)
+            WHITESPACE@[101; 102)
-            FOR_KW@[103; 106)
+            TYPE_BOUND@[102; 121)
-            TYPE_PARAM_LIST@[106; 110)
+              L_PAREN@[102; 103)
-              L_ANGLE@[106; 107)
+              FOR_TYPE@[103; 120)
-              LIFETIME_PARAM@[107; 109)
+                FOR_KW@[103; 106)
-                LIFETIME@[107; 109) "'a"
+                TYPE_PARAM_LIST@[106; 110)
-              R_ANGLE@[109; 110)
+                  L_ANGLE@[106; 107)
-            WHITESPACE@[110; 111)
+                  LIFETIME_PARAM@[107; 109)
-            PATH_TYPE@[111; 120)
+                    LIFETIME@[107; 109) "'a"
-              PATH@[111; 120)
+                  R_ANGLE@[109; 110)
-                PATH_SEGMENT@[111; 120)
+                WHITESPACE@[110; 111)
-                  NAME_REF@[111; 116)
+                PATH_TYPE@[111; 120)
-                    IDENT@[111; 116) "Trait"
+                  PATH@[111; 120)
-                  TYPE_ARG_LIST@[116; 120)
+                    PATH_SEGMENT@[111; 120)
-                    L_ANGLE@[116; 117)
+                      NAME_REF@[111; 116)
-                    LIFETIME_ARG@[117; 119)
+                        IDENT@[111; 116) "Trait"
-                      LIFETIME@[117; 119) "'a"
+                      TYPE_ARG_LIST@[116; 120)
-                    R_ANGLE@[119; 120)
+                        L_ANGLE@[116; 117)
-          R_PAREN@[120; 121)
+                        LIFETIME_ARG@[117; 119)
-          err: `expected SEMI`
+                          LIFETIME@[117; 119) "'a"
-          err: `expected expression`
+                        R_ANGLE@[119; 120)
+              R_PAREN@[120; 121)
+              err: `expected SEMI`
+              err: `expected expression`
      EXPR_STMT@[121; 123)
        ERROR@[121; 122)
          R_ANGLE@[121; 122)
@@ -281,26 +288,29 @@ SOURCE_FILE@[0; 240)
          WHITESPACE@[215; 216)
          PLUS@[216; 217)
          WHITESPACE@[217; 218)
-          L_PAREN@[218; 219)
+          TYPE_BOUND_LIST@[218; 235)
-          PATH_TYPE@[219; 223)
+            TYPE_BOUND@[218; 224)
-            PATH@[219; 223)
+              L_PAREN@[218; 219)
-              PATH_SEGMENT@[219; 223)
+              PATH_TYPE@[219; 223)
-                NAME_REF@[219; 223)
+                PATH@[219; 223)
-                  IDENT@[219; 223) "Copy"
+                  PATH_SEGMENT@[219; 223)
-          R_PAREN@[223; 224)
+                    NAME_REF@[219; 223)
-          WHITESPACE@[224; 225)
+                      IDENT@[219; 223) "Copy"
-          PLUS@[225; 226)
+              R_PAREN@[223; 224)
-          WHITESPACE@[226; 227)
+            WHITESPACE@[224; 225)
-          L_PAREN@[227; 228)
+            PLUS@[225; 226)
-          QUESTION@[228; 229)
+            WHITESPACE@[226; 227)
-          PATH_TYPE@[229; 234)
+            TYPE_BOUND@[227; 235)
-            PATH@[229; 234)
+              L_PAREN@[227; 228)
-              PATH_SEGMENT@[229; 234)
+              QUESTION@[228; 229)
-                NAME_REF@[229; 234)
+              PATH_TYPE@[229; 234)
-                  IDENT@[229; 234) "Sized"
+                PATH@[229; 234)
-          R_PAREN@[234; 235)
+                  PATH_SEGMENT@[229; 234)
-          err: `expected SEMI`
+                    NAME_REF@[229; 234)
-          err: `expected expression`
+                      IDENT@[229; 234) "Sized"
+              R_PAREN@[234; 235)
+              err: `expected SEMI`
+              err: `expected expression`
      EXPR_STMT@[235; 237)
        ERROR@[235; 236)
          R_ANGLE@[235; 236)
diff --git a/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt b/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt
index 9b5fadcf7..a6d1a59ef 100644
--- a/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt
+++ b/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt
@@ -8,11 +8,13 @@ SOURCE_FILE@[0; 38)
          IDENT@[5; 6) "T"
        COLON@[6; 7)
        WHITESPACE@[7; 8)
-        PATH_TYPE@[8; 13)
+        TYPE_BOUND_LIST@[8; 13)
-          PATH@[8; 13)
+          TYPE_BOUND@[8; 13)
-            PATH_SEGMENT@[8; 13)
+            PATH_TYPE@[8; 13)
-              NAME_REF@[8; 13)
+              PATH@[8; 13)
-                IDENT@[8; 13) "Clone"
+                PATH_SEGMENT@[8; 13)
+                  NAME_REF@[8; 13)
+                    IDENT@[8; 13) "Clone"
      R_ANGLE@[13; 14)
      err: `expected trait or type`
      err: `expected `{``

diff --git a/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt index 8720fc6ea..b353a5383 100644 --- a/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt +++ b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt
@@ -11,47 +11,51 @@ SOURCE_FILE@[0; 240)
11	IDENT@[5; 6) "T"	11	IDENT@[5; 6) "T"
12	COLON@[6; 7)	12	COLON@[6; 7)
13	WHITESPACE@[7; 8)	13	WHITESPACE@[7; 8)
14	L_PAREN@[8; 9)	14	TYPE_BOUND_LIST@[8; 47)
15	PATH_TYPE@[9; 13)	15	TYPE_BOUND@[8; 14)
16	PATH@[9; 13)	16	L_PAREN@[8; 9)
17	PATH_SEGMENT@[9; 13)	17	PATH_TYPE@[9; 13)
18	NAME_REF@[9; 13)	18	PATH@[9; 13)
19	IDENT@[9; 13) "Copy"	19	PATH_SEGMENT@[9; 13)
20	R_PAREN@[13; 14)	20	NAME_REF@[9; 13)
21	WHITESPACE@[14; 15)	21	IDENT@[9; 13) "Copy"
22	PLUS@[15; 16)	22	R_PAREN@[13; 14)
23	WHITESPACE@[16; 17)	23	WHITESPACE@[14; 15)
24	L_PAREN@[17; 18)	24	PLUS@[15; 16)
25	QUESTION@[18; 19)	25	WHITESPACE@[16; 17)
26	PATH_TYPE@[19; 24)	26	TYPE_BOUND@[17; 25)
27	PATH@[19; 24)	27	L_PAREN@[17; 18)
28	PATH_SEGMENT@[19; 24)	28	QUESTION@[18; 19)
29	NAME_REF@[19; 24)	29	PATH_TYPE@[19; 24)
30	IDENT@[19; 24) "Sized"	30	PATH@[19; 24)
31	R_PAREN@[24; 25)	31	PATH_SEGMENT@[19; 24)
32	WHITESPACE@[25; 26)	32	NAME_REF@[19; 24)
33	PLUS@[26; 27)	33	IDENT@[19; 24) "Sized"
34	WHITESPACE@[27; 28)	34	R_PAREN@[24; 25)
35	L_PAREN@[28; 29)	35	WHITESPACE@[25; 26)
36	FOR_TYPE@[29; 46)	36	PLUS@[26; 27)
37	FOR_KW@[29; 32)	37	WHITESPACE@[27; 28)
38	TYPE_PARAM_LIST@[32; 36)	38	TYPE_BOUND@[28; 47)
39	L_ANGLE@[32; 33)	39	L_PAREN@[28; 29)
40	LIFETIME_PARAM@[33; 35)	40	FOR_TYPE@[29; 46)
41	LIFETIME@[33; 35) "'a"	41	FOR_KW@[29; 32)
42	R_ANGLE@[35; 36)	42	TYPE_PARAM_LIST@[32; 36)
43	WHITESPACE@[36; 37)	43	L_ANGLE@[32; 33)
44	PATH_TYPE@[37; 46)	44	LIFETIME_PARAM@[33; 35)
45	PATH@[37; 46)	45	LIFETIME@[33; 35) "'a"
46	PATH_SEGMENT@[37; 46)	46	R_ANGLE@[35; 36)
47	NAME_REF@[37; 42)	47	WHITESPACE@[36; 37)
48	IDENT@[37; 42) "Trait"	48	PATH_TYPE@[37; 46)
49	TYPE_ARG_LIST@[42; 46)	49	PATH@[37; 46)
50	L_ANGLE@[42; 43)	50	PATH_SEGMENT@[37; 46)
51	LIFETIME_ARG@[43; 45)	51	NAME_REF@[37; 42)
52	LIFETIME@[43; 45) "'a"	52	IDENT@[37; 42) "Trait"
53	R_ANGLE@[45; 46)	53	TYPE_ARG_LIST@[42; 46)
54	R_PAREN@[46; 47)	54	L_ANGLE@[42; 43)
		55	LIFETIME_ARG@[43; 45)
		56	LIFETIME@[43; 45) "'a"
		57	R_ANGLE@[45; 46)
		58	R_PAREN@[46; 47)
55	R_ANGLE@[47; 48)	59	R_ANGLE@[47; 48)
56	PARAM_LIST@[48; 50)	60	PARAM_LIST@[48; 50)
57	L_PAREN@[48; 49)	61	L_PAREN@[48; 49)
@@ -101,39 +105,42 @@ SOURCE_FILE@[0; 240)
101	WHITESPACE@[88; 89)	105	WHITESPACE@[88; 89)
102	PLUS@[89; 90)	106	PLUS@[89; 90)
103	WHITESPACE@[90; 91)	107	WHITESPACE@[90; 91)
104	L_PAREN@[91; 92)	108	TYPE_BOUND_LIST@[91; 121)
105	QUESTION@[92; 93)	109	TYPE_BOUND@[91; 99)
106	PATH_TYPE@[93; 98)	110	L_PAREN@[91; 92)
107	PATH@[93; 98)	111	QUESTION@[92; 93)
108	PATH_SEGMENT@[93; 98)	112	PATH_TYPE@[93; 98)
109	NAME_REF@[93; 98)	113	PATH@[93; 98)
110	IDENT@[93; 98) "Sized"	114	PATH_SEGMENT@[93; 98)
111	R_PAREN@[98; 99)	115	NAME_REF@[93; 98)
112	WHITESPACE@[99; 100)	116	IDENT@[93; 98) "Sized"
113	PLUS@[100; 101)	117	R_PAREN@[98; 99)
114	WHITESPACE@[101; 102)	118	WHITESPACE@[99; 100)
115	L_PAREN@[102; 103)	119	PLUS@[100; 101)
116	FOR_TYPE@[103; 120)	120	WHITESPACE@[101; 102)
117	FOR_KW@[103; 106)	121	TYPE_BOUND@[102; 121)
118	TYPE_PARAM_LIST@[106; 110)	122	L_PAREN@[102; 103)
119	L_ANGLE@[106; 107)	123	FOR_TYPE@[103; 120)
120	LIFETIME_PARAM@[107; 109)	124	FOR_KW@[103; 106)
121	LIFETIME@[107; 109) "'a"	125	TYPE_PARAM_LIST@[106; 110)
122	R_ANGLE@[109; 110)	126	L_ANGLE@[106; 107)
123	WHITESPACE@[110; 111)	127	LIFETIME_PARAM@[107; 109)
124	PATH_TYPE@[111; 120)	128	LIFETIME@[107; 109) "'a"
125	PATH@[111; 120)	129	R_ANGLE@[109; 110)
126	PATH_SEGMENT@[111; 120)	130	WHITESPACE@[110; 111)
127	NAME_REF@[111; 116)	131	PATH_TYPE@[111; 120)
128	IDENT@[111; 116) "Trait"	132	PATH@[111; 120)
129	TYPE_ARG_LIST@[116; 120)	133	PATH_SEGMENT@[111; 120)
130	L_ANGLE@[116; 117)	134	NAME_REF@[111; 116)
131	LIFETIME_ARG@[117; 119)	135	IDENT@[111; 116) "Trait"
132	LIFETIME@[117; 119) "'a"	136	TYPE_ARG_LIST@[116; 120)
133	R_ANGLE@[119; 120)	137	L_ANGLE@[116; 117)
134	R_PAREN@[120; 121)	138	LIFETIME_ARG@[117; 119)
135	err: `expected SEMI`	139	LIFETIME@[117; 119) "'a"
136	err: `expected expression`	140	R_ANGLE@[119; 120)
		141	R_PAREN@[120; 121)
		142	err: `expected SEMI`
		143	err: `expected expression`
137	EXPR_STMT@[121; 123)	144	EXPR_STMT@[121; 123)
138	ERROR@[121; 122)	145	ERROR@[121; 122)
139	R_ANGLE@[121; 122)	146	R_ANGLE@[121; 122)
@@ -281,26 +288,29 @@ SOURCE_FILE@[0; 240)
281	WHITESPACE@[215; 216)	288	WHITESPACE@[215; 216)
282	PLUS@[216; 217)	289	PLUS@[216; 217)
283	WHITESPACE@[217; 218)	290	WHITESPACE@[217; 218)
284	L_PAREN@[218; 219)	291	TYPE_BOUND_LIST@[218; 235)
285	PATH_TYPE@[219; 223)	292	TYPE_BOUND@[218; 224)
286	PATH@[219; 223)	293	L_PAREN@[218; 219)
287	PATH_SEGMENT@[219; 223)	294	PATH_TYPE@[219; 223)
288	NAME_REF@[219; 223)	295	PATH@[219; 223)
289	IDENT@[219; 223) "Copy"	296	PATH_SEGMENT@[219; 223)
290	R_PAREN@[223; 224)	297	NAME_REF@[219; 223)
291	WHITESPACE@[224; 225)	298	IDENT@[219; 223) "Copy"
292	PLUS@[225; 226)	299	R_PAREN@[223; 224)
293	WHITESPACE@[226; 227)	300	WHITESPACE@[224; 225)
294	L_PAREN@[227; 228)	301	PLUS@[225; 226)
295	QUESTION@[228; 229)	302	WHITESPACE@[226; 227)
296	PATH_TYPE@[229; 234)	303	TYPE_BOUND@[227; 235)
297	PATH@[229; 234)	304	L_PAREN@[227; 228)
298	PATH_SEGMENT@[229; 234)	305	QUESTION@[228; 229)
299	NAME_REF@[229; 234)	306	PATH_TYPE@[229; 234)
300	IDENT@[229; 234) "Sized"	307	PATH@[229; 234)
301	R_PAREN@[234; 235)	308	PATH_SEGMENT@[229; 234)
302	err: `expected SEMI`	309	NAME_REF@[229; 234)
303	err: `expected expression`	310	IDENT@[229; 234) "Sized"
		311	R_PAREN@[234; 235)
		312	err: `expected SEMI`
		313	err: `expected expression`
304	EXPR_STMT@[235; 237)	314	EXPR_STMT@[235; 237)
305	ERROR@[235; 236)	315	ERROR@[235; 236)
306	R_ANGLE@[235; 236)	316	R_ANGLE@[235; 236)


diff --git a/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt b/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt index 9b5fadcf7..a6d1a59ef 100644 --- a/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt +++ b/crates/ra_syntax/tests/data/parser/err/0026_imp_recovery.txt
@@ -8,11 +8,13 @@ SOURCE_FILE@[0; 38)
8	IDENT@[5; 6) "T"	8	IDENT@[5; 6) "T"
9	COLON@[6; 7)	9	COLON@[6; 7)
10	WHITESPACE@[7; 8)	10	WHITESPACE@[7; 8)
11	PATH_TYPE@[8; 13)	11	TYPE_BOUND_LIST@[8; 13)
12	PATH@[8; 13)	12	TYPE_BOUND@[8; 13)
13	PATH_SEGMENT@[8; 13)	13	PATH_TYPE@[8; 13)
14	NAME_REF@[8; 13)	14	PATH@[8; 13)
15	IDENT@[8; 13) "Clone"	15	PATH_SEGMENT@[8; 13)
		16	NAME_REF@[8; 13)
		17	IDENT@[8; 13) "Clone"
16	R_ANGLE@[13; 14)	18	R_ANGLE@[13; 14)
17	err: `expected trait or type`	19	err: `expected trait or type`
18	err: `expected `{``	20	err: `expected `{``