Skip to content

Commit 2a849e2

Browse files
committed
Unify walk_poly_trait_ref
1 parent 5171110 commit 2a849e2

File tree

1 file changed

+11
-16
lines changed

1 file changed

+11
-16
lines changed

compiler/rustc_ast/src/visitors.rs

Lines changed: 11 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -568,6 +568,17 @@ macro_rules! make_ast_visitor {
568568
return_result!(V)
569569
}
570570

571+
pub fn walk_poly_trait_ref<$($lt,)? V: $trait$(<$lt>)?>(
572+
vis: &mut V,
573+
trait_ref: ref_t!(PolyTraitRef)
574+
) -> result!(V) {
575+
let PolyTraitRef { bound_generic_params, trait_ref, span } = trait_ref;
576+
visit_list!(vis, visit_generic_param, flat_map_generic_param, bound_generic_params);
577+
try_v!(vis.visit_trait_ref(trait_ref));
578+
try_v!(visit_span!(vis, span));
579+
return_result!(V)
580+
}
581+
571582
make_walk_flat_map!{Arm, walk_flat_map_arm, visit_arm}
572583
make_walk_flat_map!{ExprField, walk_flat_map_expr_field, visit_expr_field}
573584
make_walk_flat_map!{FieldDef, walk_flat_map_field_def, visit_field_def}
@@ -723,15 +734,6 @@ pub mod visit {
723734
V::Result::output()
724735
}
725736

726-
pub fn walk_poly_trait_ref<'a, V>(visitor: &mut V, trait_ref: &'a PolyTraitRef) -> V::Result
727-
where
728-
V: Visitor<'a>,
729-
{
730-
let PolyTraitRef { bound_generic_params, trait_ref, span: _ } = trait_ref;
731-
walk_list!(visitor, visit_generic_param, bound_generic_params);
732-
visitor.visit_trait_ref(trait_ref)
733-
}
734-
735737
pub fn walk_trait_ref<'a, V: Visitor<'a>>(
736738
visitor: &mut V,
737739
trait_ref: &'a TraitRef,
@@ -2305,13 +2307,6 @@ pub mod mut_visit {
23052307
vis.visit_path(path);
23062308
}
23072309

2308-
fn walk_poly_trait_ref<T: MutVisitor>(vis: &mut T, p: &mut PolyTraitRef) {
2309-
let PolyTraitRef { bound_generic_params, trait_ref, span } = p;
2310-
bound_generic_params.flat_map_in_place(|param| vis.flat_map_generic_param(param));
2311-
vis.visit_trait_ref(trait_ref);
2312-
vis.visit_span(span);
2313-
}
2314-
23152310
pub fn walk_field_def<T: MutVisitor>(visitor: &mut T, fd: &mut FieldDef) {
23162311
let FieldDef { span, ident, vis, id, ty, attrs, is_placeholder: _ } = fd;
23172312
visitor.visit_id(id);

0 commit comments

Comments
 (0)