Skip to content

Commit 40352cc

Browse files
committed
Unify walk_poly_trait_ref
1 parent 9b3bcd5 commit 40352cc

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
@@ -505,6 +505,17 @@ macro_rules! make_ast_visitor {
505505
try_v!(visit_span!(vis, inputs_span));
506506
return_result!(V)
507507
}
508+
509+
pub fn walk_poly_trait_ref<$($lt,)? V: $trait$(<$lt>)?>(
510+
vis: &mut V,
511+
trait_ref: ref_t!(PolyTraitRef)
512+
) -> result!(V) {
513+
let PolyTraitRef { bound_generic_params, trait_ref, span } = trait_ref;
514+
visit_list!(vis, visit_generic_param, flat_map_generic_param, bound_generic_params);
515+
try_v!(vis.visit_trait_ref(trait_ref));
516+
try_v!(visit_span!(vis, span));
517+
return_result!(V)
518+
}
508519
}
509520
}
510521

@@ -650,15 +661,6 @@ pub mod visit {
650661
V::Result::output()
651662
}
652663

653-
pub fn walk_poly_trait_ref<'a, V>(visitor: &mut V, trait_ref: &'a PolyTraitRef) -> V::Result
654-
where
655-
V: Visitor<'a>,
656-
{
657-
let PolyTraitRef { bound_generic_params, trait_ref, span: _ } = trait_ref;
658-
walk_list!(visitor, visit_generic_param, bound_generic_params);
659-
visitor.visit_trait_ref(trait_ref)
660-
}
661-
662664
pub fn walk_trait_ref<'a, V: Visitor<'a>>(
663665
visitor: &mut V,
664666
trait_ref: &'a TraitRef,
@@ -2204,13 +2206,6 @@ pub mod mut_visit {
22042206
vis.visit_path(path);
22052207
}
22062208

2207-
fn walk_poly_trait_ref<T: MutVisitor>(vis: &mut T, p: &mut PolyTraitRef) {
2208-
let PolyTraitRef { bound_generic_params, trait_ref, span } = p;
2209-
bound_generic_params.flat_map_in_place(|param| vis.flat_map_generic_param(param));
2210-
vis.visit_trait_ref(trait_ref);
2211-
vis.visit_span(span);
2212-
}
2213-
22142209
pub fn walk_flat_map_field_def<T: MutVisitor>(
22152210
visitor: &mut T,
22162211
mut fd: FieldDef,

0 commit comments

Comments
 (0)