Skip to content

Commit cf591ff

Browse files
committed
Add visits for nodes that already had walks (QSelf,FnRetTy,FnDecl)
1 parent 1056dd0 commit cf591ff

File tree

1 file changed

+19
-20
lines changed

1 file changed

+19
-20
lines changed

compiler/rustc_ast/src/visitors.rs

+19-20
Original file line numberDiff line numberDiff line change
@@ -125,16 +125,13 @@ macro_rules! make_ast_visitor {
125125
make_visit!{MetaItem; visit_meta_item, walk_meta_item}
126126
make_visit!{MetaItemInner; visit_meta_list_item, walk_meta_list_item}
127127
make_visit!{MutTy; visit_mt, walk_mt}
128-
make_visit!{Option<P<QSelf>>; visit_qself, walk_qself}
129128
make_visit!{ParenthesizedArgs; visit_parenthesized_parameter_data, walk_parenthesized_parameter_data}
130129
make_visit!{Path; visit_path, walk_path}
131130
make_visit!{PreciseCapturingArg; visit_precise_capturing_arg, walk_precise_capturing_arg}
132131
make_visit!{UseTree; visit_use_tree, walk_use_tree}
133132
make_visit!{VariantData; visit_variant_data, walk_variant_data}
134133
make_visit!{WhereClause; visit_where_clause, walk_where_clause}
135134

136-
make_visit!{P!(FnDecl); visit_fn_decl, walk_fn_decl}
137-
138135
fn flat_map_foreign_item(&mut self, ni: P<ForeignItem>) -> SmallVec<[P<ForeignItem>; 1]> {
139136
walk_flat_map_item(self, ni)
140137
}
@@ -215,7 +212,6 @@ macro_rules! make_ast_visitor {
215212
make_visit!{EnumDef; visit_enum_def, walk_enum_def}
216213
make_visit!{ExprField; visit_expr_field, walk_expr_field}
217214
make_visit!{FieldDef; visit_field_def, walk_field_def}
218-
make_visit!{FnRetTy; visit_fn_ret_ty, walk_fn_ret_ty}
219215
make_visit!{ForeignItem; visit_foreign_item, walk_item}
220216
make_visit!{GenericParam; visit_generic_param, walk_generic_param}
221217
make_visit!{Item; visit_item, walk_item}
@@ -264,6 +260,7 @@ macro_rules! make_ast_visitor {
264260
make_visit!{Attribute; visit_attribute, walk_attribute}
265261
make_visit!{ClosureBinder; visit_closure_binder, walk_closure_binder}
266262
make_visit!{Crate; visit_crate, walk_crate}
263+
make_visit!{FnRetTy; visit_fn_ret_ty, walk_fn_ret_ty}
267264
make_visit!{FormatArgs; visit_format_args, walk_format_args}
268265
make_visit!{GenericArg; visit_generic_arg, walk_generic_arg}
269266
make_visit!{GenericArgs; visit_generic_args, walk_generic_args}
@@ -273,6 +270,7 @@ macro_rules! make_ast_visitor {
273270
make_visit!{InlineAsmSym; visit_inline_asm_sym, walk_inline_asm_sym}
274271
make_visit!{Label; visit_label, walk_label}
275272
make_visit!{MacCall; visit_mac_call, walk_mac}
273+
make_visit!{Option<P<QSelf>>; visit_qself, walk_qself}
276274
make_visit!{PathSegment; visit_path_segment, walk_path_segment}
277275
make_visit!{PolyTraitRef; visit_poly_trait_ref, walk_poly_trait_ref}
278276
make_visit!{TraitRef; visit_trait_ref, walk_trait_ref}
@@ -281,6 +279,7 @@ macro_rules! make_ast_visitor {
281279

282280
make_visit!{P!(Block); visit_block, walk_block}
283281
make_visit!{P!(Expr); visit_expr, walk_expr}
282+
make_visit!{P!(FnDecl); visit_fn_decl, walk_fn_decl}
284283
make_visit!{P!(Local); visit_local, walk_local}
285284
make_visit!{P!(Pat); visit_pat, walk_pat}
286285
make_visit!{P!(Ty); visit_ty, walk_ty}
@@ -548,13 +547,13 @@ pub mod visit {
548547
body,
549548
from_glob: _,
550549
}) => {
551-
try_visit!(walk_qself(visitor, qself));
550+
try_visit!(visitor.visit_qself(qself));
552551
try_visit!(visitor.visit_path(path, *id));
553552
visit_opt!(visitor, visit_ident, *rename);
554553
visit_opt!(visitor, visit_block, body);
555554
}
556555
ItemKind::DelegationMac(box DelegationMac { qself, prefix, suffixes, body }) => {
557-
try_visit!(walk_qself(visitor, qself));
556+
try_visit!(visitor.visit_qself(qself));
558557
try_visit!(visitor.visit_path(prefix, *id));
559558
if let Some(suffixes) = suffixes {
560559
for (ident, rename) in suffixes {
@@ -633,10 +632,10 @@ pub mod visit {
633632
let BareFnTy { safety: _, ext: _, generic_params, decl, decl_span: _ } =
634633
&**function_declaration;
635634
walk_list!(visitor, visit_generic_param, generic_params);
636-
try_visit!(walk_fn_decl(visitor, decl));
635+
try_visit!(visitor.visit_fn_decl(decl));
637636
}
638637
TyKind::Path(maybe_qself, path) => {
639-
try_visit!(walk_qself(visitor, maybe_qself));
638+
try_visit!(visitor.visit_qself(maybe_qself));
640639
try_visit!(visitor.visit_path(path, *id));
641640
}
642641
TyKind::Pat(ty, pat) => {
@@ -767,16 +766,16 @@ pub mod visit {
767766
let Pat { id, kind, span: _, tokens: _ } = pattern;
768767
match kind {
769768
PatKind::TupleStruct(opt_qself, path, elems) => {
770-
try_visit!(walk_qself(visitor, opt_qself));
769+
try_visit!(visitor.visit_qself(opt_qself));
771770
try_visit!(visitor.visit_path(path, *id));
772771
walk_list!(visitor, visit_pat, elems);
773772
}
774773
PatKind::Path(opt_qself, path) => {
775-
try_visit!(walk_qself(visitor, opt_qself));
774+
try_visit!(visitor.visit_qself(opt_qself));
776775
try_visit!(visitor.visit_path(path, *id))
777776
}
778777
PatKind::Struct(opt_qself, path, fields, _rest) => {
779-
try_visit!(walk_qself(visitor, opt_qself));
778+
try_visit!(visitor.visit_qself(opt_qself));
780779
try_visit!(visitor.visit_path(path, *id));
781780
walk_list!(visitor, visit_pat_field, fields);
782781
}
@@ -962,12 +961,12 @@ pub mod visit {
962961
// Identifier and visibility are visited as a part of the item.
963962
try_visit!(visitor.visit_fn_header(header));
964963
try_visit!(visitor.visit_generics(generics));
965-
try_visit!(walk_fn_decl(visitor, decl));
964+
try_visit!(visitor.visit_fn_decl(decl));
966965
visit_opt!(visitor, visit_block, body);
967966
}
968967
FnKind::Closure(binder, _coroutine_kind, decl, body) => {
969968
try_visit!(visitor.visit_closure_binder(binder));
970-
try_visit!(walk_fn_decl(visitor, decl));
969+
try_visit!(visitor.visit_fn_decl(decl));
971970
try_visit!(visitor.visit_expr(body));
972971
}
973972
}
@@ -1015,7 +1014,7 @@ pub mod visit {
10151014
body,
10161015
from_glob: _,
10171016
}) => {
1018-
try_visit!(walk_qself(visitor, qself));
1017+
try_visit!(visitor.visit_qself(qself));
10191018
try_visit!(visitor.visit_path(path, *id));
10201019
visit_opt!(visitor, visit_ident, *rename);
10211020
visit_opt!(visitor, visit_block, body);
@@ -1026,7 +1025,7 @@ pub mod visit {
10261025
suffixes,
10271026
body,
10281027
}) => {
1029-
try_visit!(walk_qself(visitor, qself));
1028+
try_visit!(visitor.visit_qself(qself));
10301029
try_visit!(visitor.visit_path(prefix, id));
10311030
if let Some(suffixes) = suffixes {
10321031
for (ident, rename) in suffixes {
@@ -1144,7 +1143,7 @@ pub mod visit {
11441143
visitor: &mut V,
11451144
InlineAsmSym { id, qself, path }: &'a InlineAsmSym,
11461145
) -> V::Result {
1147-
try_visit!(walk_qself(visitor, qself));
1146+
try_visit!(visitor.visit_qself(qself));
11481147
visitor.visit_path(path, *id)
11491148
}
11501149

@@ -1176,7 +1175,7 @@ pub mod visit {
11761175
}
11771176
ExprKind::Struct(se) => {
11781177
let StructExpr { qself, path, fields, rest } = &**se;
1179-
try_visit!(walk_qself(visitor, qself));
1178+
try_visit!(visitor.visit_qself(qself));
11801179
try_visit!(visitor.visit_path(path, *id));
11811180
walk_list!(visitor, visit_expr_field, fields);
11821181
match rest {
@@ -1285,7 +1284,7 @@ pub mod visit {
12851284
}
12861285
ExprKind::Underscore => {}
12871286
ExprKind::Path(maybe_qself, path) => {
1288-
try_visit!(walk_qself(visitor, maybe_qself));
1287+
try_visit!(visitor.visit_qself(maybe_qself));
12891288
try_visit!(visitor.visit_path(path, *id));
12901289
}
12911290
ExprKind::Break(opt_label, opt_expr) => {
@@ -1697,7 +1696,7 @@ pub mod mut_visit {
16971696
fn walk_parenthesized_parameter_data<T: MutVisitor>(vis: &mut T, args: &mut ParenthesizedArgs) {
16981697
let ParenthesizedArgs { inputs, output, span, inputs_span } = args;
16991698
visit_thin_vec(inputs, |input| vis.visit_ty(input));
1700-
walk_fn_ret_ty(vis, output);
1699+
vis.visit_fn_ret_ty(output);
17011700
vis.visit_span(span);
17021701
vis.visit_span(inputs_span);
17031702
}
@@ -2005,7 +2004,7 @@ pub mod mut_visit {
20052004
fn walk_fn_decl<T: MutVisitor>(vis: &mut T, decl: &mut P<FnDecl>) {
20062005
let FnDecl { inputs, output } = decl.deref_mut();
20072006
inputs.flat_map_in_place(|param| vis.flat_map_param(param));
2008-
walk_fn_ret_ty(vis, output);
2007+
vis.visit_fn_ret_ty(output);
20092008
}
20102009

20112010
fn walk_fn_ret_ty<T: MutVisitor>(vis: &mut T, fn_ret_ty: &mut FnRetTy) {

0 commit comments

Comments
 (0)