aboutsummaryrefslogtreecommitdiff
path: root/xtask/src
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2020-07-31 14:01:18 +0100
committerAleksey Kladov <[email protected]>2020-07-31 14:01:18 +0100
commitb250ae6c55c446f65f85914d98da2cd2c75871f7 (patch)
treed264ec19b06a37e9565d42ed169bcd8d714d18b4 /xtask/src
parenta6527ed92cb7a1156b8a118f5790d8c5fd69ab41 (diff)
Finalize TypeBound grammar
Diffstat (limited to 'xtask/src')
-rw-r--r--xtask/src/codegen/rust.ungram13
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 =
242DynTraitType = 242DynTraitType =
243 'dyn' TypeBoundList 243 'dyn' TypeBoundList
244 244
245TypeBoundList =
246 bounds:(TypeBound ('+' TypeBound)* '+'?)
247
248TypeBound =
249 'lifetime'
250| '?'? Type
251
245TupleExpr = 252TupleExpr =
246 Attr* '(' Expr* ')' 253 Attr* '(' Expr* ')'
247 254
@@ -443,12 +450,6 @@ MacroStmts =
443 statements:Stmt* 450 statements:Stmt*
444 Expr? 451 Expr?
445 452
446TypeBound =
447 'lifetime' | 'const'? Type
448
449TypeBoundList =
450 bounds:TypeBound*
451
452WherePred = 453WherePred =
453 ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList 454 ('for' GenericParamList)? ('lifetime' | Type) ':' TypeBoundList
454 455