diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-31 10:11:48 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-31 10:11:48 +0100 |
commit | c5ca49678f129045e59438df279829902034ec71 (patch) | |
tree | 3fd54185e0c064fbd6f718ac345064ce9c559efb /crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt | |
parent | 23dd53eb35ff50508d0c0fc5878a55754b12d381 (diff) | |
parent | 55dcdb7d094f473c73f87ecf997b24f8e35f2a5e (diff) |
Merge #1077
1077: Improve parsing of type bounds r=matklad a=vipentti
This adds new TYPE_BOUND_LIST and TYPE_BOUND syntax kinds. These are now used when parsing type bounds. In addition parsing paths inside a bound now does not recursively parse paths, rather they are treated as separate bounds, separated by +.
Basically now the generic params `struct S<T: 'a + ?Sized + (Copy)>;` in will be parsed as
```
TYPE_PARAM_LIST@[8; 33)
L_ANGLE@[8; 9)
TYPE_PARAM@[9; 32)
NAME@[9; 10)
IDENT@[9; 10) "T"
COLON@[10; 11)
WHITESPACE@[11; 12)
TYPE_BOUND_LIST@[12; 32)
TYPE_BOUND@[12; 14)
LIFETIME@[12; 14) "'a"
WHITESPACE@[14; 15)
PLUS@[15; 16)
WHITESPACE@[16; 17)
TYPE_BOUND@[17; 23)
QUESTION@[17; 18)
PATH_TYPE@[18; 23)
PATH@[18; 23)
PATH_SEGMENT@[18; 23)
NAME_REF@[18; 23)
IDENT@[18; 23) "Sized"
WHITESPACE@[23; 24)
PLUS@[24; 25)
WHITESPACE@[25; 26)
TYPE_BOUND@[26; 32)
L_PAREN@[26; 27)
PATH_TYPE@[27; 31)
PATH@[27; 31)
PATH_SEGMENT@[27; 31)
NAME_REF@[27; 31)
IDENT@[27; 31) "Copy"
R_PAREN@[31; 32)
R_ANGLE@[32; 33)
```
Previously it was parsed, with the paths nested:
```
TYPE_PARAM_LIST@[8; 33)
L_ANGLE@[8; 9)
TYPE_PARAM@[9; 32)
NAME@[9; 10)
IDENT@[9; 10) "T"
COLON@[10; 11)
WHITESPACE@[11; 12)
LIFETIME@[12; 14) "'a"
WHITESPACE@[14; 15)
PLUS@[15; 16)
WHITESPACE@[16; 17)
QUESTION@[17; 18)
PATH_TYPE@[18; 32)
PATH@[18; 23)
PATH_SEGMENT@[18; 23)
NAME_REF@[18; 23)
IDENT@[18; 23) "Sized"
WHITESPACE@[23; 24)
PLUS@[24; 25)
WHITESPACE@[25; 26)
L_PAREN@[26; 27)
PATH_TYPE@[27; 31)
PATH@[27; 31)
PATH_SEGMENT@[27; 31)
NAME_REF@[27; 31)
IDENT@[27; 31) "Copy"
R_PAREN@[31; 32)
R_ANGLE@[32; 33)
```
Looking for feedback.
Co-authored-by: Ville Penttinen <[email protected]>
Diffstat (limited to 'crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt')
-rw-r--r-- | crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt | 172 |
1 files changed, 121 insertions, 51 deletions
diff --git a/crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt b/crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt index b70a1d19a..04aaca4c4 100644 --- a/crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt +++ b/crates/ra_syntax/tests/data/parser/ok/0020_type_param_bounds.txt | |||
@@ -1,4 +1,4 @@ | |||
1 | SOURCE_FILE@[0; 200) | 1 | SOURCE_FILE@[0; 250) |
2 | STRUCT_DEF@[0; 12) | 2 | STRUCT_DEF@[0; 12) |
3 | STRUCT_KW@[0; 6) | 3 | STRUCT_KW@[0; 6) |
4 | WHITESPACE@[6; 7) | 4 | WHITESPACE@[6; 7) |
@@ -23,6 +23,7 @@ SOURCE_FILE@[0; 200) | |||
23 | NAME@[22; 23) | 23 | NAME@[22; 23) |
24 | IDENT@[22; 23) "T" | 24 | IDENT@[22; 23) "T" |
25 | COLON@[23; 24) | 25 | COLON@[23; 24) |
26 | TYPE_BOUND_LIST@[24; 24) | ||
26 | R_ANGLE@[24; 25) | 27 | R_ANGLE@[24; 25) |
27 | SEMI@[25; 26) | 28 | SEMI@[25; 26) |
28 | WHITESPACE@[26; 27) | 29 | WHITESPACE@[26; 27) |
@@ -38,7 +39,9 @@ SOURCE_FILE@[0; 200) | |||
38 | IDENT@[36; 37) "T" | 39 | IDENT@[36; 37) "T" |
39 | COLON@[37; 38) | 40 | COLON@[37; 38) |
40 | WHITESPACE@[38; 39) | 41 | WHITESPACE@[38; 39) |
41 | LIFETIME@[39; 41) "'a" | 42 | TYPE_BOUND_LIST@[39; 41) |
43 | TYPE_BOUND@[39; 41) | ||
44 | LIFETIME@[39; 41) "'a" | ||
42 | R_ANGLE@[41; 42) | 45 | R_ANGLE@[41; 42) |
43 | SEMI@[42; 43) | 46 | SEMI@[42; 43) |
44 | WHITESPACE@[43; 44) | 47 | WHITESPACE@[43; 44) |
@@ -54,9 +57,11 @@ SOURCE_FILE@[0; 200) | |||
54 | IDENT@[53; 54) "T" | 57 | IDENT@[53; 54) "T" |
55 | COLON@[54; 55) | 58 | COLON@[54; 55) |
56 | WHITESPACE@[55; 56) | 59 | WHITESPACE@[55; 56) |
57 | LIFETIME@[56; 58) "'a" | 60 | TYPE_BOUND_LIST@[56; 60) |
58 | WHITESPACE@[58; 59) | 61 | TYPE_BOUND@[56; 58) |
59 | PLUS@[59; 60) | 62 | LIFETIME@[56; 58) "'a" |
63 | WHITESPACE@[58; 59) | ||
64 | PLUS@[59; 60) | ||
60 | WHITESPACE@[60; 61) | 65 | WHITESPACE@[60; 61) |
61 | R_ANGLE@[61; 62) | 66 | R_ANGLE@[61; 62) |
62 | SEMI@[62; 63) | 67 | SEMI@[62; 63) |
@@ -73,11 +78,14 @@ SOURCE_FILE@[0; 200) | |||
73 | IDENT@[73; 74) "T" | 78 | IDENT@[73; 74) "T" |
74 | COLON@[74; 75) | 79 | COLON@[74; 75) |
75 | WHITESPACE@[75; 76) | 80 | WHITESPACE@[75; 76) |
76 | LIFETIME@[76; 78) "'a" | 81 | TYPE_BOUND_LIST@[76; 83) |
77 | WHITESPACE@[78; 79) | 82 | TYPE_BOUND@[76; 78) |
78 | PLUS@[79; 80) | 83 | LIFETIME@[76; 78) "'a" |
79 | WHITESPACE@[80; 81) | 84 | WHITESPACE@[78; 79) |
80 | LIFETIME@[81; 83) "'d" | 85 | PLUS@[79; 80) |
86 | WHITESPACE@[80; 81) | ||
87 | TYPE_BOUND@[81; 83) | ||
88 | LIFETIME@[81; 83) "'d" | ||
81 | WHITESPACE@[83; 84) | 89 | WHITESPACE@[83; 84) |
82 | R_ANGLE@[84; 85) | 90 | R_ANGLE@[84; 85) |
83 | SEMI@[85; 86) | 91 | SEMI@[85; 86) |
@@ -94,19 +102,23 @@ SOURCE_FILE@[0; 200) | |||
94 | IDENT@[96; 97) "T" | 102 | IDENT@[96; 97) "T" |
95 | COLON@[97; 98) | 103 | COLON@[97; 98) |
96 | WHITESPACE@[98; 99) | 104 | WHITESPACE@[98; 99) |
97 | LIFETIME@[99; 101) "'a" | 105 | TYPE_BOUND_LIST@[99; 114) |
98 | WHITESPACE@[101; 102) | 106 | TYPE_BOUND@[99; 101) |
99 | PLUS@[102; 103) | 107 | LIFETIME@[99; 101) "'a" |
100 | WHITESPACE@[103; 104) | 108 | WHITESPACE@[101; 102) |
101 | LIFETIME@[104; 106) "'d" | 109 | PLUS@[102; 103) |
102 | WHITESPACE@[106; 107) | 110 | WHITESPACE@[103; 104) |
103 | PLUS@[107; 108) | 111 | TYPE_BOUND@[104; 106) |
104 | WHITESPACE@[108; 109) | 112 | LIFETIME@[104; 106) "'d" |
105 | PATH_TYPE@[109; 114) | 113 | WHITESPACE@[106; 107) |
106 | PATH@[109; 114) | 114 | PLUS@[107; 108) |
107 | PATH_SEGMENT@[109; 114) | 115 | WHITESPACE@[108; 109) |
108 | NAME_REF@[109; 114) | 116 | TYPE_BOUND@[109; 114) |
109 | IDENT@[109; 114) "Clone" | 117 | PATH_TYPE@[109; 114) |
118 | PATH@[109; 114) | ||
119 | PATH_SEGMENT@[109; 114) | ||
120 | NAME_REF@[109; 114) | ||
121 | IDENT@[109; 114) "Clone" | ||
110 | R_ANGLE@[114; 115) | 122 | R_ANGLE@[114; 115) |
111 | SEMI@[115; 116) | 123 | SEMI@[115; 116) |
112 | WHITESPACE@[116; 117) | 124 | WHITESPACE@[116; 117) |
@@ -122,19 +134,22 @@ SOURCE_FILE@[0; 200) | |||
122 | IDENT@[126; 127) "T" | 134 | IDENT@[126; 127) "T" |
123 | COLON@[127; 128) | 135 | COLON@[127; 128) |
124 | WHITESPACE@[128; 129) | 136 | WHITESPACE@[128; 129) |
125 | PATH_TYPE@[129; 141) | 137 | TYPE_BOUND_LIST@[129; 141) |
126 | PATH@[129; 134) | 138 | TYPE_BOUND@[129; 134) |
127 | PATH_SEGMENT@[129; 134) | 139 | PATH_TYPE@[129; 134) |
128 | NAME_REF@[129; 134) | 140 | PATH@[129; 134) |
129 | IDENT@[129; 134) "Clone" | 141 | PATH_SEGMENT@[129; 134) |
142 | NAME_REF@[129; 134) | ||
143 | IDENT@[129; 134) "Clone" | ||
130 | WHITESPACE@[134; 135) | 144 | WHITESPACE@[134; 135) |
131 | PLUS@[135; 136) | 145 | PLUS@[135; 136) |
132 | WHITESPACE@[136; 137) | 146 | WHITESPACE@[136; 137) |
133 | PATH_TYPE@[137; 141) | 147 | TYPE_BOUND@[137; 141) |
134 | PATH@[137; 141) | 148 | PATH_TYPE@[137; 141) |
135 | PATH_SEGMENT@[137; 141) | 149 | PATH@[137; 141) |
136 | NAME_REF@[137; 141) | 150 | PATH_SEGMENT@[137; 141) |
137 | IDENT@[137; 141) "Copy" | 151 | NAME_REF@[137; 141) |
152 | IDENT@[137; 141) "Copy" | ||
138 | R_ANGLE@[141; 142) | 153 | R_ANGLE@[141; 142) |
139 | SEMI@[142; 143) | 154 | SEMI@[142; 143) |
140 | WHITESPACE@[143; 144) | 155 | WHITESPACE@[143; 144) |
@@ -150,27 +165,31 @@ SOURCE_FILE@[0; 200) | |||
150 | IDENT@[153; 154) "T" | 165 | IDENT@[153; 154) "T" |
151 | COLON@[154; 155) | 166 | COLON@[154; 155) |
152 | WHITESPACE@[155; 156) | 167 | WHITESPACE@[155; 156) |
153 | PATH_TYPE@[156; 178) | 168 | TYPE_BOUND_LIST@[156; 178) |
154 | PATH@[156; 161) | 169 | TYPE_BOUND@[156; 161) |
155 | PATH_SEGMENT@[156; 161) | 170 | PATH_TYPE@[156; 161) |
156 | COLONCOLON@[156; 158) | 171 | PATH@[156; 161) |
157 | NAME_REF@[158; 161) | 172 | PATH_SEGMENT@[156; 161) |
158 | IDENT@[158; 161) "Foo" | 173 | COLONCOLON@[156; 158) |
174 | NAME_REF@[158; 161) | ||
175 | IDENT@[158; 161) "Foo" | ||
159 | WHITESPACE@[161; 162) | 176 | WHITESPACE@[161; 162) |
160 | PLUS@[162; 163) | 177 | PLUS@[162; 163) |
161 | WHITESPACE@[163; 164) | 178 | WHITESPACE@[163; 164) |
162 | PATH_TYPE@[164; 178) | 179 | TYPE_BOUND@[164; 173) |
163 | PATH@[164; 173) | 180 | PATH_TYPE@[164; 173) |
164 | PATH@[164; 168) | 181 | PATH@[164; 173) |
165 | PATH_SEGMENT@[164; 168) | 182 | PATH@[164; 168) |
166 | SELF_KW@[164; 168) | 183 | PATH_SEGMENT@[164; 168) |
167 | COLONCOLON@[168; 170) | 184 | SELF_KW@[164; 168) |
168 | PATH_SEGMENT@[170; 173) | 185 | COLONCOLON@[168; 170) |
169 | NAME_REF@[170; 173) | 186 | PATH_SEGMENT@[170; 173) |
170 | IDENT@[170; 173) "Bar" | 187 | NAME_REF@[170; 173) |
171 | WHITESPACE@[173; 174) | 188 | IDENT@[170; 173) "Bar" |
172 | PLUS@[174; 175) | 189 | WHITESPACE@[173; 174) |
173 | WHITESPACE@[175; 176) | 190 | PLUS@[174; 175) |
191 | WHITESPACE@[175; 176) | ||
192 | TYPE_BOUND@[176; 178) | ||
174 | LIFETIME@[176; 178) "'a" | 193 | LIFETIME@[176; 178) "'a" |
175 | R_ANGLE@[178; 179) | 194 | R_ANGLE@[178; 179) |
176 | SEMI@[179; 180) | 195 | SEMI@[179; 180) |
@@ -186,13 +205,64 @@ SOURCE_FILE@[0; 200) | |||
186 | NAME@[190; 191) | 205 | NAME@[190; 191) |
187 | IDENT@[190; 191) "T" | 206 | IDENT@[190; 191) "T" |
188 | COLON@[191; 192) | 207 | COLON@[191; 192) |
208 | TYPE_BOUND_LIST@[192; 192) | ||
189 | COMMA@[192; 193) | 209 | COMMA@[192; 193) |
190 | WHITESPACE@[193; 194) | 210 | WHITESPACE@[193; 194) |
191 | TYPE_PARAM@[194; 196) | 211 | TYPE_PARAM@[194; 196) |
192 | NAME@[194; 195) | 212 | NAME@[194; 195) |
193 | IDENT@[194; 195) "U" | 213 | IDENT@[194; 195) "U" |
194 | COLON@[195; 196) | 214 | COLON@[195; 196) |
215 | TYPE_BOUND_LIST@[196; 196) | ||
195 | COMMA@[196; 197) | 216 | COMMA@[196; 197) |
196 | R_ANGLE@[197; 198) | 217 | R_ANGLE@[197; 198) |
197 | SEMI@[198; 199) | 218 | SEMI@[198; 199) |
198 | WHITESPACE@[199; 200) | 219 | WHITESPACE@[199; 200) |
220 | STRUCT_DEF@[200; 250) | ||
221 | STRUCT_KW@[200; 206) | ||
222 | WHITESPACE@[206; 207) | ||
223 | NAME@[207; 208) | ||
224 | IDENT@[207; 208) "K" | ||
225 | TYPE_PARAM_LIST@[208; 249) | ||
226 | L_ANGLE@[208; 209) | ||
227 | LIFETIME_PARAM@[209; 215) | ||
228 | LIFETIME@[209; 211) "'a" | ||
229 | COLON@[211; 212) | ||
230 | WHITESPACE@[212; 213) | ||
231 | LIFETIME@[213; 215) "'d" | ||
232 | COMMA@[215; 216) | ||
233 | WHITESPACE@[216; 217) | ||
234 | LIFETIME_PARAM@[217; 228) | ||
235 | LIFETIME@[217; 219) "'d" | ||
236 | COLON@[219; 220) | ||
237 | WHITESPACE@[220; 221) | ||
238 | LIFETIME@[221; 223) "'a" | ||
239 | WHITESPACE@[223; 224) | ||
240 | PLUS@[224; 225) | ||
241 | WHITESPACE@[225; 226) | ||
242 | LIFETIME@[226; 228) "'b" | ||
243 | COMMA@[228; 229) | ||
244 | WHITESPACE@[229; 230) | ||
245 | TYPE_PARAM@[230; 248) | ||
246 | NAME@[230; 231) | ||
247 | IDENT@[230; 231) "T" | ||
248 | COLON@[231; 232) | ||
249 | WHITESPACE@[232; 233) | ||
250 | TYPE_BOUND_LIST@[233; 248) | ||
251 | TYPE_BOUND@[233; 235) | ||
252 | LIFETIME@[233; 235) "'a" | ||
253 | WHITESPACE@[235; 236) | ||
254 | PLUS@[236; 237) | ||
255 | WHITESPACE@[237; 238) | ||
256 | TYPE_BOUND@[238; 240) | ||
257 | LIFETIME@[238; 240) "'d" | ||
258 | WHITESPACE@[240; 241) | ||
259 | PLUS@[241; 242) | ||
260 | WHITESPACE@[242; 243) | ||
261 | TYPE_BOUND@[243; 248) | ||
262 | PATH_TYPE@[243; 248) | ||
263 | PATH@[243; 248) | ||
264 | PATH_SEGMENT@[243; 248) | ||
265 | NAME_REF@[243; 248) | ||
266 | IDENT@[243; 248) "Clone" | ||
267 | R_ANGLE@[248; 249) | ||
268 | SEMI@[249; 250) | ||