diff options
Diffstat (limited to 'xtask')
-rw-r--r-- | xtask/src/ast_src.rs | 2 | ||||
-rw-r--r-- | xtask/src/codegen/gen_syntax.rs | 2 | ||||
-rw-r--r-- | xtask/src/codegen/rust.ungram | 20 |
3 files changed, 12 insertions, 12 deletions
diff --git a/xtask/src/ast_src.rs b/xtask/src/ast_src.rs index e66e96d64..b81985851 100644 --- a/xtask/src/ast_src.rs +++ b/xtask/src/ast_src.rs | |||
@@ -203,7 +203,7 @@ pub(crate) const KINDS_SRC: KindsSrc = KindsSrc { | |||
203 | "NAME_REF", | 203 | "NAME_REF", |
204 | "LET_STMT", | 204 | "LET_STMT", |
205 | "EXPR_STMT", | 205 | "EXPR_STMT", |
206 | "TYPE_PARAM_LIST", | 206 | "GENERIC_PARAM_LIST", |
207 | "LIFETIME_PARAM", | 207 | "LIFETIME_PARAM", |
208 | "TYPE_PARAM", | 208 | "TYPE_PARAM", |
209 | "CONST_PARAM", | 209 | "CONST_PARAM", |
diff --git a/xtask/src/codegen/gen_syntax.rs b/xtask/src/codegen/gen_syntax.rs index 072527208..f79cd972e 100644 --- a/xtask/src/codegen/gen_syntax.rs +++ b/xtask/src/codegen/gen_syntax.rs | |||
@@ -667,7 +667,7 @@ fn extract_struct_traits(ast: &mut AstSrc) { | |||
667 | ("AttrsOwner", &["attrs"]), | 667 | ("AttrsOwner", &["attrs"]), |
668 | ("NameOwner", &["name"]), | 668 | ("NameOwner", &["name"]), |
669 | ("VisibilityOwner", &["visibility"]), | 669 | ("VisibilityOwner", &["visibility"]), |
670 | ("TypeParamsOwner", &["type_param_list", "where_clause"]), | 670 | ("GenericParamsOwner", &["generic_param_list", "where_clause"]), |
671 | ("TypeBoundsOwner", &["type_bound_list", "colon_token"]), | 671 | ("TypeBoundsOwner", &["type_bound_list", "colon_token"]), |
672 | ("ModuleItemOwner", &["items"]), | 672 | ("ModuleItemOwner", &["items"]), |
673 | ("TypeAscriptionOwner", &["ascribed_type"]), | 673 | ("TypeAscriptionOwner", &["ascribed_type"]), |
diff --git a/xtask/src/codegen/rust.ungram b/xtask/src/codegen/rust.ungram index 760a8dd95..833ffd9e0 100644 --- a/xtask/src/codegen/rust.ungram +++ b/xtask/src/codegen/rust.ungram | |||
@@ -45,7 +45,7 @@ UseTreeList = | |||
45 | Fn = | 45 | Fn = |
46 | Attr* Visibility? | 46 | Attr* Visibility? |
47 | 'default'? ('async' | 'const')? 'unsafe'? Abi? | 47 | 'default'? ('async' | 'const')? 'unsafe'? Abi? |
48 | 'fn' Name TypeParamList? ParamList RetType? | 48 | 'fn' Name GenericParamList? ParamList RetType? |
49 | WhereClause? | 49 | WhereClause? |
50 | (body:BlockExpr | ';') | 50 | (body:BlockExpr | ';') |
51 | 51 | ||
@@ -73,17 +73,17 @@ RetType = | |||
73 | '->' TypeRef | 73 | '->' TypeRef |
74 | 74 | ||
75 | TypeAlias = | 75 | TypeAlias = |
76 | Attr* Visibility? 'default'? 'type' Name TypeParamList? (':' TypeBoundList?)? WhereClause? | 76 | Attr* Visibility? 'default'? 'type' Name GenericParamList? (':' TypeBoundList?)? WhereClause? |
77 | '=' TypeRef ';' | 77 | '=' TypeRef ';' |
78 | 78 | ||
79 | StructDef = | 79 | StructDef = |
80 | Attr* Visibility? 'struct' Name TypeParamList? ( | 80 | Attr* Visibility? 'struct' Name GenericParamList? ( |
81 | WhereClause? (RecordFieldDefList | ';') | 81 | WhereClause? (RecordFieldDefList | ';') |
82 | | TupleFieldDefList WhereClause? ';' | 82 | | TupleFieldDefList WhereClause? ';' |
83 | ) | 83 | ) |
84 | 84 | ||
85 | UnionDef = | 85 | UnionDef = |
86 | Attr* Visibility? 'union' Name TypeParamList? WhereClause? | 86 | Attr* Visibility? 'union' Name GenericParamList? WhereClause? |
87 | RecordFieldDefList | 87 | RecordFieldDefList |
88 | 88 | ||
89 | RecordFieldDefList = | 89 | RecordFieldDefList = |
@@ -103,7 +103,7 @@ FieldDefList = | |||
103 | | TupleFieldDefList | 103 | | TupleFieldDefList |
104 | 104 | ||
105 | EnumDef = | 105 | EnumDef = |
106 | Attr* Visibility? 'enum' Name TypeParamList? WhereClause? | 106 | Attr* Visibility? 'enum' Name GenericParamList? WhereClause? |
107 | variant_list:EnumVariantList | 107 | variant_list:EnumVariantList |
108 | 108 | ||
109 | EnumVariantList = | 109 | EnumVariantList = |
@@ -113,7 +113,7 @@ EnumVariant = | |||
113 | Attr* Visibility? Name FieldDefList ('=' Expr)? | 113 | Attr* Visibility? Name FieldDefList ('=' Expr)? |
114 | 114 | ||
115 | TraitDef = | 115 | TraitDef = |
116 | Attr* Visibility? 'unsafe'? 'auto'? 'trait' Name TypeParamList | 116 | Attr* Visibility? 'unsafe'? 'auto'? 'trait' Name GenericParamList |
117 | (':' TypeBoundList?)? WhereClause | 117 | (':' TypeBoundList?)? WhereClause |
118 | AssocItemList | 118 | AssocItemList |
119 | 119 | ||
@@ -129,7 +129,7 @@ StaticDef = | |||
129 | '=' body:Expr ';' | 129 | '=' body:Expr ';' |
130 | 130 | ||
131 | ImplDef = | 131 | ImplDef = |
132 | Attr* Visibility? 'const'? 'default'? 'unsafe'? 'impl' TypeParamList? '!'? 'for' | 132 | Attr* Visibility? 'const'? 'default'? 'unsafe'? 'impl' GenericParamList? '!'? 'for' |
133 | WhereClause? | 133 | WhereClause? |
134 | AssocItemList | 134 | AssocItemList |
135 | 135 | ||
@@ -164,7 +164,7 @@ FnPointerType = | |||
164 | Abi 'unsafe'? 'fn' ParamList RetType? | 164 | Abi 'unsafe'? 'fn' ParamList RetType? |
165 | 165 | ||
166 | ForType = | 166 | ForType = |
167 | 'for' TypeParamList TypeRef | 167 | 'for' GenericParamList TypeRef |
168 | 168 | ||
169 | ImplTraitType = | 169 | ImplTraitType = |
170 | 'impl' TypeBoundList | 170 | 'impl' TypeBoundList |
@@ -379,7 +379,7 @@ MacroStmts = | |||
379 | Attr = | 379 | Attr = |
380 | '#' '!'? '[' Path ('=' input:AttrInput)? ']' | 380 | '#' '!'? '[' Path ('=' input:AttrInput)? ']' |
381 | 381 | ||
382 | TypeParamList = | 382 | GenericParamList = |
383 | '<' | 383 | '<' |
384 | TypeParam* | 384 | TypeParam* |
385 | LifetimeParam* | 385 | LifetimeParam* |
@@ -404,7 +404,7 @@ TypeBoundList = | |||
404 | bounds:TypeBound* | 404 | bounds:TypeBound* |
405 | 405 | ||
406 | WherePred = | 406 | WherePred = |
407 | ('for' TypeParamList)? ('lifetime' | TypeRef) ':' TypeBoundList | 407 | ('for' GenericParamList)? ('lifetime' | TypeRef) ':' TypeBoundList |
408 | 408 | ||
409 | WhereClause = | 409 | WhereClause = |
410 | 'where' predicates:WherePred* | 410 | 'where' predicates:WherePred* |