diff options
Diffstat (limited to 'xtask/src/codegen')
-rw-r--r-- | xtask/src/codegen/rust.ungram | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/xtask/src/codegen/rust.ungram b/xtask/src/codegen/rust.ungram index 32f2808ea..8271509cf 100644 --- a/xtask/src/codegen/rust.ungram +++ b/xtask/src/codegen/rust.ungram | |||
@@ -175,7 +175,13 @@ ConstParam = | |||
175 | ('=' default_val:Expr)? | 175 | ('=' default_val:Expr)? |
176 | 176 | ||
177 | LifetimeParam = | 177 | LifetimeParam = |
178 | Attr* 'lifetime' | 178 | Attr* 'lifetime' (':' TypeBoundList?)? |
179 | |||
180 | WhereClause = | ||
181 | 'where' predicates:(WherePred (',' WherePred)* ','?) | ||
182 | |||
183 | WherePred = | ||
184 | ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList | ||
179 | 185 | ||
180 | Visibility = | 186 | Visibility = |
181 | 'pub' ('(' | 187 | 'pub' ('(' |
@@ -188,6 +194,17 @@ Visibility = | |||
188 | Attr = | 194 | Attr = |
189 | '#' '!'? '[' Path ('=' Literal | TokenTree)? ']' | 195 | '#' '!'? '[' Path ('=' Literal | TokenTree)? ']' |
190 | 196 | ||
197 | Stmt = | ||
198 | LetStmt | ||
199 | | ExprStmt | ||
200 | |||
201 | LetStmt = | ||
202 | Attr* 'let' Pat (':' Type)? | ||
203 | '=' initializer:Expr ';' | ||
204 | |||
205 | ExprStmt = | ||
206 | Attr* Expr ';'? | ||
207 | |||
191 | Type = | 208 | Type = |
192 | ParenType | 209 | ParenType |
193 | | TupleType | 210 | | TupleType |
@@ -450,19 +467,6 @@ MacroStmts = | |||
450 | statements:Stmt* | 467 | statements:Stmt* |
451 | Expr? | 468 | Expr? |
452 | 469 | ||
453 | WherePred = | ||
454 | ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList | ||
455 | |||
456 | WhereClause = | ||
457 | 'where' predicates:WherePred* | ||
458 | |||
459 | ExprStmt = | ||
460 | Attr* Expr ';' | ||
461 | |||
462 | LetStmt = | ||
463 | Attr* 'let' Pat (':' Type) | ||
464 | '=' initializer:Expr ';' | ||
465 | |||
466 | Path = | 470 | Path = |
467 | (qualifier:Path '::')? segment:PathSegment | 471 | (qualifier:Path '::')? segment:PathSegment |
468 | 472 | ||
@@ -490,10 +494,6 @@ LifetimeArg = | |||
490 | ConstArg = | 494 | ConstArg = |
491 | Literal | BlockExpr BlockExpr | 495 | Literal | BlockExpr BlockExpr |
492 | 496 | ||
493 | Stmt = | ||
494 | LetStmt | ||
495 | | ExprStmt | ||
496 | |||
497 | Pat = | 497 | Pat = |
498 | OrPat | 498 | OrPat |
499 | | ParenPat | 499 | | ParenPat |