aboutsummaryrefslogtreecommitdiff
path: root/xtask/src/codegen
diff options
context:
space:
mode:
Diffstat (limited to 'xtask/src/codegen')
-rw-r--r--xtask/src/codegen/rust.ungram36
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
177LifetimeParam = 177LifetimeParam =
178 Attr* 'lifetime' 178 Attr* 'lifetime' (':' TypeBoundList?)?
179
180WhereClause =
181 'where' predicates:(WherePred (',' WherePred)* ','?)
182
183WherePred =
184 ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList
179 185
180Visibility = 186Visibility =
181 'pub' ('(' 187 'pub' ('('
@@ -188,6 +194,17 @@ Visibility =
188Attr = 194Attr =
189 '#' '!'? '[' Path ('=' Literal | TokenTree)? ']' 195 '#' '!'? '[' Path ('=' Literal | TokenTree)? ']'
190 196
197Stmt =
198 LetStmt
199| ExprStmt
200
201LetStmt =
202 Attr* 'let' Pat (':' Type)?
203 '=' initializer:Expr ';'
204
205ExprStmt =
206 Attr* Expr ';'?
207
191Type = 208Type =
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
453WherePred =
454 ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList
455
456WhereClause =
457 'where' predicates:WherePred*
458
459ExprStmt =
460 Attr* Expr ';'
461
462LetStmt =
463 Attr* 'let' Pat (':' Type)
464 '=' initializer:Expr ';'
465
466Path = 470Path =
467 (qualifier:Path '::')? segment:PathSegment 471 (qualifier:Path '::')? segment:PathSegment
468 472
@@ -490,10 +494,6 @@ LifetimeArg =
490ConstArg = 494ConstArg =
491 Literal | BlockExpr BlockExpr 495 Literal | BlockExpr BlockExpr
492 496
493Stmt =
494 LetStmt
495| ExprStmt
496
497Pat = 497Pat =
498 OrPat 498 OrPat
499| ParenPat 499| ParenPat