From b250ae6c55c446f65f85914d98da2cd2c75871f7 Mon Sep 17 00:00:00 2001
From: Aleksey Kladov <aleksey.kladov@gmail.com>
Date: Fri, 31 Jul 2020 15:01:18 +0200
Subject: Finalize TypeBound grammar

---
 xtask/src/codegen/rust.ungram | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'xtask')

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
 
-- 
cgit v1.2.3