diff options
-rw-r--r-- | xtask/src/codegen/rust.ungram | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/xtask/src/codegen/rust.ungram b/xtask/src/codegen/rust.ungram index 32f2808ea..fc665b2b2 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' ('(' |
@@ -450,12 +456,6 @@ MacroStmts = | |||
450 | statements:Stmt* | 456 | statements:Stmt* |
451 | Expr? | 457 | Expr? |
452 | 458 | ||
453 | WherePred = | ||
454 | ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList | ||
455 | |||
456 | WhereClause = | ||
457 | 'where' predicates:WherePred* | ||
458 | |||
459 | ExprStmt = | 459 | ExprStmt = |
460 | Attr* Expr ';' | 460 | Attr* Expr ';' |
461 | 461 | ||