Finalize TypeBound grammar

1 files changed, 7 insertions, 6 deletions

diff --git a/xtask/src/codegen/rust.ungram b/xtask/src/codegen/rust.ungram
index 4015e3890..32f2808ea 100644
--- a/xtask/src/codegen/rust.ungram
+++ b/xtask/src/codegen/rust.ungram
@@ -242,6 +242,13 @@ ImplTraitType =
 DynTraitType =
   'dyn' TypeBoundList
 
+TypeBoundList =
+   bounds:(TypeBound ('+' TypeBound)* '+'?)
+
+TypeBound =
+  'lifetime'
+| '?'? Type
+
 TupleExpr =
   Attr* '(' Expr* ')'
 
@@ -443,12 +450,6 @@ MacroStmts =
   statements:Stmt*
   Expr?
 
-TypeBound =
-  'lifetime' | 'const'? Type
-
-TypeBoundList =
-   bounds:TypeBound*
-
 WherePred =
   ('for' GenericParamList)?  ('lifetime' | Type) ':' TypeBoundList