2 files changed, 170 insertions, 154 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..45fa70593 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)
@@ -80,60 +84,65 @@ SOURCE_FILE@[0; 240)
          UNDERSCORE@[75; 76)
        COLON@[76; 77)
        WHITESPACE@[77; 78)
-        PATH_TYPE@[78; 121)
+        DYN_TRAIT_TYPE@[78; 121)
-          PATH@[78; 88)
+          TYPE_BOUND_LIST@[78; 121)
-            PATH_SEGMENT@[78; 88)
+            TYPE_BOUND@[78; 88)
-              NAME_REF@[78; 81)
+              PATH_TYPE@[78; 88)
-                IDENT@[78; 81) "Box"
+                PATH@[78; 88)
-              TYPE_ARG_LIST@[81; 88)
+                  PATH_SEGMENT@[78; 88)
-                L_ANGLE@[81; 82)
+                    NAME_REF@[78; 81)
-                TYPE_ARG@[82; 88)
+                      IDENT@[78; 81) "Box"
-                  PAREN_TYPE@[82; 88)
+                    TYPE_ARG_LIST@[81; 88)
-                    L_PAREN@[82; 83)
+                      L_ANGLE@[81; 82)
-                    PATH_TYPE@[83; 87)
+                      TYPE_ARG@[82; 88)
-                      PATH@[83; 87)
+                        PAREN_TYPE@[82; 88)
-                        PATH_SEGMENT@[83; 87)
+                          L_PAREN@[82; 83)
-                          NAME_REF@[83; 87)
+                          PATH_TYPE@[83; 87)
-                            IDENT@[83; 87) "Copy"
+                            PATH@[83; 87)
-                    R_PAREN@[87; 88)
+                              PATH_SEGMENT@[83; 87)
-                    err: `expected COMMA`
+                                NAME_REF@[83; 87)
-                    err: `expected R_ANGLE`
+                                  IDENT@[83; 87) "Copy"
-          WHITESPACE@[88; 89)
+                          R_PAREN@[87; 88)
-          PLUS@[89; 90)
+                          err: `expected COMMA`
-          WHITESPACE@[90; 91)
+                          err: `expected R_ANGLE`
-          L_PAREN@[91; 92)
+            WHITESPACE@[88; 89)
-          QUESTION@[92; 93)
+            PLUS@[89; 90)
-          PATH_TYPE@[93; 98)
+            WHITESPACE@[90; 91)
-            PATH@[93; 98)
+            TYPE_BOUND@[91; 99)
-              PATH_SEGMENT@[93; 98)
+              L_PAREN@[91; 92)
-                NAME_REF@[93; 98)
+              QUESTION@[92; 93)
-                  IDENT@[93; 98) "Sized"
+              PATH_TYPE@[93; 98)
-          R_PAREN@[98; 99)
+                PATH@[93; 98)
-          WHITESPACE@[99; 100)
+                  PATH_SEGMENT@[93; 98)
-          PLUS@[100; 101)
+                    NAME_REF@[93; 98)
-          WHITESPACE@[101; 102)
+                      IDENT@[93; 98) "Sized"
-          L_PAREN@[102; 103)
+              R_PAREN@[98; 99)
-          FOR_TYPE@[103; 120)
+            WHITESPACE@[99; 100)
-            FOR_KW@[103; 106)
+            PLUS@[100; 101)
-            TYPE_PARAM_LIST@[106; 110)
+            WHITESPACE@[101; 102)
-              L_ANGLE@[106; 107)
+            TYPE_BOUND@[102; 121)
-              LIFETIME_PARAM@[107; 109)
+              L_PAREN@[102; 103)
-                LIFETIME@[107; 109) "'a"
+              FOR_TYPE@[103; 120)
-              R_ANGLE@[109; 110)
+                FOR_KW@[103; 106)
-            WHITESPACE@[110; 111)
+                TYPE_PARAM_LIST@[106; 110)
-            PATH_TYPE@[111; 120)
+                  L_ANGLE@[106; 107)
-              PATH@[111; 120)
+                  LIFETIME_PARAM@[107; 109)
-                PATH_SEGMENT@[111; 120)
+                    LIFETIME@[107; 109) "'a"
-                  NAME_REF@[111; 116)
+                  R_ANGLE@[109; 110)
-                    IDENT@[111; 116) "Trait"
+                WHITESPACE@[110; 111)
-                  TYPE_ARG_LIST@[116; 120)
+                PATH_TYPE@[111; 120)
-                    L_ANGLE@[116; 117)
+                  PATH@[111; 120)
-                    LIFETIME_ARG@[117; 119)
+                    PATH_SEGMENT@[111; 120)
-                      LIFETIME@[117; 119) "'a"
+                      NAME_REF@[111; 116)
-                    R_ANGLE@[119; 120)
+                        IDENT@[111; 116) "Trait"
-          R_PAREN@[120; 121)
+                      TYPE_ARG_LIST@[116; 120)
-          err: `expected SEMI`
+                        L_ANGLE@[116; 117)
-          err: `expected expression`
+                        LIFETIME_ARG@[117; 119)
+                          LIFETIME@[117; 119) "'a"
+                        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)
@@ -247,60 +256,65 @@ SOURCE_FILE@[0; 240)
          UNDERSCORE@[189; 190)
        COLON@[190; 191)
        WHITESPACE@[191; 192)
-        PATH_TYPE@[192; 235)
+        DYN_TRAIT_TYPE@[192; 235)
-          PATH@[192; 215)
+          TYPE_BOUND_LIST@[192; 235)
-            PATH_SEGMENT@[192; 215)
+            TYPE_BOUND@[192; 215)
-              NAME_REF@[192; 195)
+              PATH_TYPE@[192; 215)
-                IDENT@[192; 195) "Box"
+                PATH@[192; 215)
-              TYPE_ARG_LIST@[195; 215)
+                  PATH_SEGMENT@[192; 215)
-                L_ANGLE@[195; 196)
+                    NAME_REF@[192; 195)
-                TYPE_ARG@[196; 215)
+                      IDENT@[192; 195) "Box"
-                  PAREN_TYPE@[196; 215)
+                    TYPE_ARG_LIST@[195; 215)
-                    L_PAREN@[196; 197)
+                      L_ANGLE@[195; 196)
-                    FOR_TYPE@[197; 214)
+                      TYPE_ARG@[196; 215)
-                      FOR_KW@[197; 200)
+                        PAREN_TYPE@[196; 215)
-                      TYPE_PARAM_LIST@[200; 204)
+                          L_PAREN@[196; 197)
-                        L_ANGLE@[200; 201)
+                          FOR_TYPE@[197; 214)
-                        LIFETIME_PARAM@[201; 203)
+                            FOR_KW@[197; 200)
-                          LIFETIME@[201; 203) "'a"
+                            TYPE_PARAM_LIST@[200; 204)
-                        R_ANGLE@[203; 204)
+                              L_ANGLE@[200; 201)
-                      WHITESPACE@[204; 205)
+                              LIFETIME_PARAM@[201; 203)
-                      PATH_TYPE@[205; 214)
+                                LIFETIME@[201; 203) "'a"
-                        PATH@[205; 214)
+                              R_ANGLE@[203; 204)
-                          PATH_SEGMENT@[205; 214)
+                            WHITESPACE@[204; 205)
-                            NAME_REF@[205; 210)
+                            PATH_TYPE@[205; 214)
-                              IDENT@[205; 210) "Trait"
+                              PATH@[205; 214)
-                            TYPE_ARG_LIST@[210; 214)
+                                PATH_SEGMENT@[205; 214)
-                              L_ANGLE@[210; 211)
+                                  NAME_REF@[205; 210)
-                              LIFETIME_ARG@[211; 213)
+                                    IDENT@[205; 210) "Trait"
-                                LIFETIME@[211; 213) "'a"
+                                  TYPE_ARG_LIST@[210; 214)
-                              R_ANGLE@[213; 214)
+                                    L_ANGLE@[210; 211)
-                    R_PAREN@[214; 215)
+                                    LIFETIME_ARG@[211; 213)
-                    err: `expected COMMA`
+                                      LIFETIME@[211; 213) "'a"
-                    err: `expected R_ANGLE`
+                                    R_ANGLE@[213; 214)
-          WHITESPACE@[215; 216)
+                          R_PAREN@[214; 215)
-          PLUS@[216; 217)
+                          err: `expected COMMA`
-          WHITESPACE@[217; 218)
+                          err: `expected R_ANGLE`
-          L_PAREN@[218; 219)
+            WHITESPACE@[215; 216)
-          PATH_TYPE@[219; 223)
+            PLUS@[216; 217)
-            PATH@[219; 223)
+            WHITESPACE@[217; 218)
-              PATH_SEGMENT@[219; 223)
+            TYPE_BOUND@[218; 224)
-                NAME_REF@[219; 223)
+              L_PAREN@[218; 219)
-                  IDENT@[219; 223) "Copy"
+              PATH_TYPE@[219; 223)
-          R_PAREN@[223; 224)
+                PATH@[219; 223)
-          WHITESPACE@[224; 225)
+                  PATH_SEGMENT@[219; 223)
-          PLUS@[225; 226)
+                    NAME_REF@[219; 223)
-          WHITESPACE@[226; 227)
+                      IDENT@[219; 223) "Copy"
-          L_PAREN@[227; 228)
+              R_PAREN@[223; 224)
-          QUESTION@[228; 229)
+            WHITESPACE@[224; 225)
-          PATH_TYPE@[229; 234)
+            PLUS@[225; 226)
-            PATH@[229; 234)
+            WHITESPACE@[226; 227)
-              PATH_SEGMENT@[229; 234)
+            TYPE_BOUND@[227; 235)
-                NAME_REF@[229; 234)
+              L_PAREN@[227; 228)
-                  IDENT@[229; 234) "Sized"
+              QUESTION@[228; 229)
-          R_PAREN@[234; 235)
+              PATH_TYPE@[229; 234)
-          err: `expected SEMI`
+                PATH@[229; 234)
-          err: `expected expression`
+                  PATH_SEGMENT@[229; 234)
+                    NAME_REF@[229; 234)
+                      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..45fa70593 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)
@@ -80,60 +84,65 @@ SOURCE_FILE@[0; 240)
80	UNDERSCORE@[75; 76)	84	UNDERSCORE@[75; 76)
81	COLON@[76; 77)	85	COLON@[76; 77)
82	WHITESPACE@[77; 78)	86	WHITESPACE@[77; 78)
83	PATH_TYPE@[78; 121)	87	DYN_TRAIT_TYPE@[78; 121)
84	PATH@[78; 88)	88	TYPE_BOUND_LIST@[78; 121)
85	PATH_SEGMENT@[78; 88)	89	TYPE_BOUND@[78; 88)
86	NAME_REF@[78; 81)	90	PATH_TYPE@[78; 88)
87	IDENT@[78; 81) "Box"	91	PATH@[78; 88)
88	TYPE_ARG_LIST@[81; 88)	92	PATH_SEGMENT@[78; 88)
89	L_ANGLE@[81; 82)	93	NAME_REF@[78; 81)
90	TYPE_ARG@[82; 88)	94	IDENT@[78; 81) "Box"
91	PAREN_TYPE@[82; 88)	95	TYPE_ARG_LIST@[81; 88)
92	L_PAREN@[82; 83)	96	L_ANGLE@[81; 82)
93	PATH_TYPE@[83; 87)	97	TYPE_ARG@[82; 88)
94	PATH@[83; 87)	98	PAREN_TYPE@[82; 88)
95	PATH_SEGMENT@[83; 87)	99	L_PAREN@[82; 83)
96	NAME_REF@[83; 87)	100	PATH_TYPE@[83; 87)
97	IDENT@[83; 87) "Copy"	101	PATH@[83; 87)
98	R_PAREN@[87; 88)	102	PATH_SEGMENT@[83; 87)
99	err: `expected COMMA`	103	NAME_REF@[83; 87)
100	err: `expected R_ANGLE`	104	IDENT@[83; 87) "Copy"
101	WHITESPACE@[88; 89)	105	R_PAREN@[87; 88)
102	PLUS@[89; 90)	106	err: `expected COMMA`
103	WHITESPACE@[90; 91)	107	err: `expected R_ANGLE`
104	L_PAREN@[91; 92)	108	WHITESPACE@[88; 89)
105	QUESTION@[92; 93)	109	PLUS@[89; 90)
106	PATH_TYPE@[93; 98)	110	WHITESPACE@[90; 91)
107	PATH@[93; 98)	111	TYPE_BOUND@[91; 99)
108	PATH_SEGMENT@[93; 98)	112	L_PAREN@[91; 92)
109	NAME_REF@[93; 98)	113	QUESTION@[92; 93)
110	IDENT@[93; 98) "Sized"	114	PATH_TYPE@[93; 98)
111	R_PAREN@[98; 99)	115	PATH@[93; 98)
112	WHITESPACE@[99; 100)	116	PATH_SEGMENT@[93; 98)
113	PLUS@[100; 101)	117	NAME_REF@[93; 98)
114	WHITESPACE@[101; 102)	118	IDENT@[93; 98) "Sized"
115	L_PAREN@[102; 103)	119	R_PAREN@[98; 99)
116	FOR_TYPE@[103; 120)	120	WHITESPACE@[99; 100)
117	FOR_KW@[103; 106)	121	PLUS@[100; 101)
118	TYPE_PARAM_LIST@[106; 110)	122	WHITESPACE@[101; 102)
119	L_ANGLE@[106; 107)	123	TYPE_BOUND@[102; 121)
120	LIFETIME_PARAM@[107; 109)	124	L_PAREN@[102; 103)
121	LIFETIME@[107; 109) "'a"	125	FOR_TYPE@[103; 120)
122	R_ANGLE@[109; 110)	126	FOR_KW@[103; 106)
123	WHITESPACE@[110; 111)	127	TYPE_PARAM_LIST@[106; 110)
124	PATH_TYPE@[111; 120)	128	L_ANGLE@[106; 107)
125	PATH@[111; 120)	129	LIFETIME_PARAM@[107; 109)
126	PATH_SEGMENT@[111; 120)	130	LIFETIME@[107; 109) "'a"
127	NAME_REF@[111; 116)	131	R_ANGLE@[109; 110)
128	IDENT@[111; 116) "Trait"	132	WHITESPACE@[110; 111)
129	TYPE_ARG_LIST@[116; 120)	133	PATH_TYPE@[111; 120)
130	L_ANGLE@[116; 117)	134	PATH@[111; 120)
131	LIFETIME_ARG@[117; 119)	135	PATH_SEGMENT@[111; 120)
132	LIFETIME@[117; 119) "'a"	136	NAME_REF@[111; 116)
133	R_ANGLE@[119; 120)	137	IDENT@[111; 116) "Trait"
134	R_PAREN@[120; 121)	138	TYPE_ARG_LIST@[116; 120)
135	err: `expected SEMI`	139	L_ANGLE@[116; 117)
136	err: `expected expression`	140	LIFETIME_ARG@[117; 119)
		141	LIFETIME@[117; 119) "'a"
		142	R_ANGLE@[119; 120)
		143	R_PAREN@[120; 121)
		144	err: `expected SEMI`
		145	err: `expected expression`
137	EXPR_STMT@[121; 123)	146	EXPR_STMT@[121; 123)
138	ERROR@[121; 122)	147	ERROR@[121; 122)
139	R_ANGLE@[121; 122)	148	R_ANGLE@[121; 122)
@@ -247,60 +256,65 @@ SOURCE_FILE@[0; 240)
247	UNDERSCORE@[189; 190)	256	UNDERSCORE@[189; 190)
248	COLON@[190; 191)	257	COLON@[190; 191)
249	WHITESPACE@[191; 192)	258	WHITESPACE@[191; 192)
250	PATH_TYPE@[192; 235)	259	DYN_TRAIT_TYPE@[192; 235)
251	PATH@[192; 215)	260	TYPE_BOUND_LIST@[192; 235)
252	PATH_SEGMENT@[192; 215)	261	TYPE_BOUND@[192; 215)
253	NAME_REF@[192; 195)	262	PATH_TYPE@[192; 215)
254	IDENT@[192; 195) "Box"	263	PATH@[192; 215)
255	TYPE_ARG_LIST@[195; 215)	264	PATH_SEGMENT@[192; 215)
256	L_ANGLE@[195; 196)	265	NAME_REF@[192; 195)
257	TYPE_ARG@[196; 215)	266	IDENT@[192; 195) "Box"
258	PAREN_TYPE@[196; 215)	267	TYPE_ARG_LIST@[195; 215)
259	L_PAREN@[196; 197)	268	L_ANGLE@[195; 196)
260	FOR_TYPE@[197; 214)	269	TYPE_ARG@[196; 215)
261	FOR_KW@[197; 200)	270	PAREN_TYPE@[196; 215)
262	TYPE_PARAM_LIST@[200; 204)	271	L_PAREN@[196; 197)
263	L_ANGLE@[200; 201)	272	FOR_TYPE@[197; 214)
264	LIFETIME_PARAM@[201; 203)	273	FOR_KW@[197; 200)
265	LIFETIME@[201; 203) "'a"	274	TYPE_PARAM_LIST@[200; 204)
266	R_ANGLE@[203; 204)	275	L_ANGLE@[200; 201)
267	WHITESPACE@[204; 205)	276	LIFETIME_PARAM@[201; 203)
268	PATH_TYPE@[205; 214)	277	LIFETIME@[201; 203) "'a"
269	PATH@[205; 214)	278	R_ANGLE@[203; 204)
270	PATH_SEGMENT@[205; 214)	279	WHITESPACE@[204; 205)
271	NAME_REF@[205; 210)	280	PATH_TYPE@[205; 214)
272	IDENT@[205; 210) "Trait"	281	PATH@[205; 214)
273	TYPE_ARG_LIST@[210; 214)	282	PATH_SEGMENT@[205; 214)
274	L_ANGLE@[210; 211)	283	NAME_REF@[205; 210)
275	LIFETIME_ARG@[211; 213)	284	IDENT@[205; 210) "Trait"
276	LIFETIME@[211; 213) "'a"	285	TYPE_ARG_LIST@[210; 214)
277	R_ANGLE@[213; 214)	286	L_ANGLE@[210; 211)
278	R_PAREN@[214; 215)	287	LIFETIME_ARG@[211; 213)
279	err: `expected COMMA`	288	LIFETIME@[211; 213) "'a"
280	err: `expected R_ANGLE`	289	R_ANGLE@[213; 214)
281	WHITESPACE@[215; 216)	290	R_PAREN@[214; 215)
282	PLUS@[216; 217)	291	err: `expected COMMA`
283	WHITESPACE@[217; 218)	292	err: `expected R_ANGLE`
284	L_PAREN@[218; 219)	293	WHITESPACE@[215; 216)
285	PATH_TYPE@[219; 223)	294	PLUS@[216; 217)
286	PATH@[219; 223)	295	WHITESPACE@[217; 218)
287	PATH_SEGMENT@[219; 223)	296	TYPE_BOUND@[218; 224)
288	NAME_REF@[219; 223)	297	L_PAREN@[218; 219)
289	IDENT@[219; 223) "Copy"	298	PATH_TYPE@[219; 223)
290	R_PAREN@[223; 224)	299	PATH@[219; 223)
291	WHITESPACE@[224; 225)	300	PATH_SEGMENT@[219; 223)
292	PLUS@[225; 226)	301	NAME_REF@[219; 223)
293	WHITESPACE@[226; 227)	302	IDENT@[219; 223) "Copy"
294	L_PAREN@[227; 228)	303	R_PAREN@[223; 224)
295	QUESTION@[228; 229)	304	WHITESPACE@[224; 225)
296	PATH_TYPE@[229; 234)	305	PLUS@[225; 226)
297	PATH@[229; 234)	306	WHITESPACE@[226; 227)
298	PATH_SEGMENT@[229; 234)	307	TYPE_BOUND@[227; 235)
299	NAME_REF@[229; 234)	308	L_PAREN@[227; 228)
300	IDENT@[229; 234) "Sized"	309	QUESTION@[228; 229)
301	R_PAREN@[234; 235)	310	PATH_TYPE@[229; 234)
302	err: `expected SEMI`	311	PATH@[229; 234)
303	err: `expected expression`	312	PATH_SEGMENT@[229; 234)
		313	NAME_REF@[229; 234)
		314	IDENT@[229; 234) "Sized"
		315	R_PAREN@[234; 235)
		316	err: `expected SEMI`
		317	err: `expected expression`
304	EXPR_STMT@[235; 237)	318	EXPR_STMT@[235; 237)
305	ERROR@[235; 236)	319	ERROR@[235; 236)
306	R_ANGLE@[235; 236)	320	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 `{``