Use same naming convention on visit::walk_item

compiler/rustc_ast/src/visit.rs

@@ -143,10 +143,10 @@ pub trait Visitor<'ast>: Sized {
         Self::Result::output()
     }
     fn visit_foreign_item(&mut self, i: &'ast ForeignItem) -> Self::Result {
-        walk_item(self, i)
+        walk_item(self, i, ())
     }
     fn visit_item(&mut self, i: &'ast Item) -> Self::Result {
-        walk_item(self, i)
+        walk_item(self, i, ())
     }
     fn visit_local(&mut self, l: &'ast Local) -> Self::Result {
         walk_local(self, l)
@@ -196,7 +196,7 @@ pub trait Visitor<'ast>: Sized {
         walk_fn(self, fk)
     }
     fn visit_assoc_item(&mut self, i: &'ast AssocItem, ctxt: AssocCtxt) -> Self::Result {
-        walk_assoc_item(self, i, ctxt)
+        walk_item(self, i, ctxt)
     }
     fn visit_trait_ref(&mut self, t: &'ast TraitRef) -> Self::Result {
         walk_trait_ref(self, t)
@@ -457,13 +457,6 @@ impl WalkItemKind for ItemKind {
     }
 }
 
-pub fn walk_item<'a, V: Visitor<'a>>(
-    visitor: &mut V,
-    item: &'a Item<impl WalkItemKind<Ctxt = ()>>,
-) -> V::Result {
-    walk_assoc_item(visitor, item, ())
-}
-
 pub fn walk_enum_def<'a, V: Visitor<'a>>(
     visitor: &mut V,
     EnumDef { variants }: &'a EnumDef,
@@ -925,7 +918,7 @@ impl WalkItemKind for AssocItemKind {
     }
 }
 
-pub fn walk_assoc_item<'a, V: Visitor<'a>, K: WalkItemKind>(
+pub fn walk_item<'a, V: Visitor<'a>, K: WalkItemKind>(
     visitor: &mut V,
     item: &'a Item<K>,
     ctxt: K::Ctxt,

compiler/rustc_ast_lowering/src/lib.rs

@@ -379,21 +379,21 @@ fn index_crate<'a>(
         fn visit_item(&mut self, item: &'a ast::Item) {
             let def_id = self.node_id_to_def_id[&item.id];
             *self.index.ensure_contains_elem(def_id, || AstOwner::NonOwner) = AstOwner::Item(item);
-            visit::walk_item(self, item)
+            visit::walk_item(self, item, ())
         }
 
         fn visit_assoc_item(&mut self, item: &'a ast::AssocItem, ctxt: visit::AssocCtxt) {
             let def_id = self.node_id_to_def_id[&item.id];
             *self.index.ensure_contains_elem(def_id, || AstOwner::NonOwner) =
                 AstOwner::AssocItem(item, ctxt);
-            visit::walk_assoc_item(self, item, ctxt);
+            visit::walk_item(self, item, ctxt);
         }
 
         fn visit_foreign_item(&mut self, item: &'a ast::ForeignItem) {
             let def_id = self.node_id_to_def_id[&item.id];
             *self.index.ensure_contains_elem(def_id, || AstOwner::NonOwner) =
                 AstOwner::ForeignItem(item);
-            visit::walk_item(self, item);
+            visit::walk_item(self, item, ());
         }
     }
 }

compiler/rustc_ast_passes/src/ast_validation.rs

@@ -977,7 +977,7 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
                     if abi.is_none() {
                         this.maybe_lint_missing_abi(*extern_span, item.id);
                     }
-                    visit::walk_item(this, item);
+                    visit::walk_item(this, item, ());
                     this.extern_mod = old_item;
                 });
                 return; // Avoid visiting again.
@@ -1112,7 +1112,7 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
             _ => {}
         }
 
-        visit::walk_item(self, item);
+        visit::walk_item(self, item, ());
     }
 
     fn visit_foreign_item(&mut self, fi: &'a ForeignItem) {
@@ -1145,7 +1145,7 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
             ForeignItemKind::MacCall(..) => {}
         }
 
-        visit::walk_item(self, fi)
+        visit::walk_item(self, fi, ())
     }
 
     // Mirrors `visit::walk_generic_args`, but tracks relevant state.
@@ -1491,10 +1491,10 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
                     None => TildeConstReason::InherentAssocTy { span: item.span },
                 });
                 self.with_tilde_const(disallowed, |this| {
-                    this.with_in_trait_impl(None, |this| visit::walk_assoc_item(this, item, ctxt))
+                    this.with_in_trait_impl(None, |this| visit::walk_item(this, item, ctxt))
                 })
             }
-            _ => self.with_in_trait_impl(None, |this| visit::walk_assoc_item(this, item, ctxt)),
+            _ => self.with_in_trait_impl(None, |this| visit::walk_item(this, item, ctxt)),
         }
     }
 }

compiler/rustc_ast_passes/src/feature_gate.rs

@@ -299,7 +299,7 @@ impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
             _ => {}
         }
 
-        visit::walk_item(self, i);
+        visit::walk_item(self, i, ());
     }
 
     fn visit_foreign_item(&mut self, i: &'a ast::ForeignItem) {
@@ -322,7 +322,7 @@ impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
             ast::ForeignItemKind::MacCall(..) => {}
         }
 
-        visit::walk_item(self, i)
+        visit::walk_item(self, i, ())
     }
 
     fn visit_ty(&mut self, ty: &'a ast::Ty) {
@@ -477,7 +477,7 @@ impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
                 "specialization is unstable"
             );
         }
-        visit::walk_assoc_item(self, i, ctxt)
+        visit::walk_item(self, i, ctxt)
     }
 }
 

compiler/rustc_ast_passes/src/node_count.rs

@@ -21,11 +21,11 @@ impl<'ast> Visitor<'ast> for NodeCounter {
     }
     fn visit_foreign_item(&mut self, i: &ForeignItem) {
         self.count += 1;
-        walk_item(self, i)
+        walk_item(self, i, ())
     }
     fn visit_item(&mut self, i: &Item) {
         self.count += 1;
-        walk_item(self, i)
+        walk_item(self, i, ())
     }
     fn visit_local(&mut self, l: &Local) {
         self.count += 1;
@@ -69,7 +69,7 @@ impl<'ast> Visitor<'ast> for NodeCounter {
     }
     fn visit_assoc_item(&mut self, ti: &AssocItem, ctxt: AssocCtxt) {
         self.count += 1;
-        walk_assoc_item(self, ti, ctxt);
+        walk_item(self, ti, ctxt);
     }
     fn visit_trait_ref(&mut self, t: &TraitRef) {
         self.count += 1;

compiler/rustc_builtin_macros/src/proc_macro_harness.rs

@@ -210,7 +210,7 @@ impl<'a> Visitor<'a> for CollectProcMacros<'a> {
         let Some(attr) = found_attr else {
             self.check_not_pub_in_root(&item.vis, self.source_map.guess_head_span(item.span));
             let prev_in_root = mem::replace(&mut self.in_root, false);
-            visit::walk_item(self, item);
+            visit::walk_item(self, item, ());
             self.in_root = prev_in_root;
             return;
         };
@@ -248,7 +248,7 @@ impl<'a> Visitor<'a> for CollectProcMacros<'a> {
         };
 
         let prev_in_root = mem::replace(&mut self.in_root, false);
-        visit::walk_item(self, item);
+        visit::walk_item(self, item, ());
         self.in_root = prev_in_root;
     }
 }

compiler/rustc_builtin_macros/src/test_harness.rs

@@ -157,7 +157,7 @@ impl<'a> MutVisitor for TestHarnessGenerator<'a> {
             self.add_test_cases(item.id, span, prev_tests);
         } else {
             // But in those cases, we emit a lint to warn the user of these missing tests.
-            walk_item(&mut InnerItemLinter { sess: self.cx.ext_cx.sess }, &item);
+            walk_item(&mut InnerItemLinter { sess: self.cx.ext_cx.sess }, &item, ());
         }
     }
 }

compiler/rustc_expand/src/expand.rs

@@ -902,7 +902,7 @@ impl<'a, 'b> MacroExpander<'a, 'b> {
                     _ => {}
                 }
 
-                visit::walk_item(self, item);
+                visit::walk_item(self, item, ());
             }
         }
 

compiler/rustc_lint/src/early.rs

@@ -82,14 +82,14 @@ impl<'a, T: EarlyLintPass> ast_visit::Visitor<'a> for EarlyContextAndPass<'a, T>
     fn visit_item(&mut self, it: &'a ast::Item) {
         self.with_lint_attrs(it.id, &it.attrs, |cx| {
             lint_callback!(cx, check_item, it);
-            ast_visit::walk_item(cx, it);
+            ast_visit::walk_item(cx, it, ());
             lint_callback!(cx, check_item_post, it);
         })
     }
 
     fn visit_foreign_item(&mut self, it: &'a ast::ForeignItem) {
         self.with_lint_attrs(it.id, &it.attrs, |cx| {
-            ast_visit::walk_item(cx, it);
+            ast_visit::walk_item(cx, it, ());
         })
     }
 
@@ -230,15 +230,16 @@ impl<'a, T: EarlyLintPass> ast_visit::Visitor<'a> for EarlyContextAndPass<'a, T>
     }
 
     fn visit_assoc_item(&mut self, item: &'a ast::AssocItem, ctxt: ast_visit::AssocCtxt) {
-        self.with_lint_attrs(item.id, &item.attrs, |cx| match ctxt {
-            ast_visit::AssocCtxt::Trait => {
-                lint_callback!(cx, check_trait_item, item);
-                ast_visit::walk_assoc_item(cx, item, ctxt);
-            }
-            ast_visit::AssocCtxt::Impl => {
-                lint_callback!(cx, check_impl_item, item);
-                ast_visit::walk_assoc_item(cx, item, ctxt);
+        self.with_lint_attrs(item.id, &item.attrs, |cx| {
+            match ctxt {
+                ast_visit::AssocCtxt::Trait => {
+                    lint_callback!(cx, check_trait_item, item);
+                }
+                ast_visit::AssocCtxt::Impl => {
+                    lint_callback!(cx, check_impl_item, item);
+                }
             }
+            ast_visit::walk_item(cx, item, ctxt);
         });
     }
 

compiler/rustc_metadata/src/creader.rs

@@ -1105,7 +1105,7 @@ fn global_allocator_spans(krate: &ast::Crate) -> Vec<Span> {
             {
                 self.spans.push(item.span);
             }
-            visit::walk_item(self, item)
+            visit::walk_item(self, item, ())
         }
     }
 
@@ -1127,7 +1127,7 @@ fn alloc_error_handler_spans(krate: &ast::Crate) -> Vec<Span> {
             {
                 self.spans.push(item.span);
             }
-            visit::walk_item(self, item)
+            visit::walk_item(self, item, ())
         }
     }
 

compiler/rustc_passes/src/hir_stats.rs

@@ -477,7 +477,7 @@ impl<'v> ast_visit::Visitor<'v> for StatCollector<'v> {
         record_variants!((self, i, i.kind, None, ast, ForeignItem, ForeignItemKind), [
             Static, Fn, TyAlias, MacCall
         ]);
-        ast_visit::walk_item(self, i)
+        ast_visit::walk_item(self, i, ())
     }
 
     fn visit_item(&mut self, i: &'v ast::Item) {
@@ -502,7 +502,7 @@ impl<'v> ast_visit::Visitor<'v> for StatCollector<'v> {
             Delegation,
             DelegationMac
         ]);
-        ast_visit::walk_item(self, i)
+        ast_visit::walk_item(self, i, ())
     }
 
     fn visit_local(&mut self, l: &'v ast::Local) {
@@ -626,7 +626,7 @@ impl<'v> ast_visit::Visitor<'v> for StatCollector<'v> {
             Delegation,
             DelegationMac
         ]);
-        ast_visit::walk_assoc_item(self, i, ctxt);
+        ast_visit::walk_item(self, i, ctxt);
     }
 
     fn visit_param_bound(&mut self, b: &'v ast::GenericBound, _ctxt: BoundKind) {

compiler/rustc_passes/src/lang_items.rs

@@ -299,7 +299,7 @@ impl<'ast, 'tcx> visit::Visitor<'ast> for LanguageItemCollector<'ast, 'tcx> {
         );
 
         let parent_item = self.parent_item.replace(i);
-        visit::walk_item(self, i);
+        visit::walk_item(self, i, ());
         self.parent_item = parent_item;
     }
 
@@ -355,7 +355,7 @@ impl<'ast, 'tcx> visit::Visitor<'ast> for LanguageItemCollector<'ast, 'tcx> {
             generics,
         );
 
-        visit::walk_assoc_item(self, i, ctxt);
+        visit::walk_item(self, i, ctxt);
     }
 }
 

compiler/rustc_resolve/src/build_reduced_graph.rs

@@ -1311,7 +1311,7 @@ impl<'a, 'ra, 'tcx> Visitor<'a> for BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
         self.parent_scope.macro_rules = match item.kind {
             ItemKind::MacroDef(..) => {
                 let macro_rules_scope = self.define_macro(item);
-                visit::walk_item(self, item);
+                visit::walk_item(self, item, ());
                 macro_rules_scope
             }
             ItemKind::MacCall(..) => self.visit_invoc_in_module(item.id),
@@ -1327,7 +1327,7 @@ impl<'a, 'ra, 'tcx> Visitor<'a> for BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
                         item.kind.walk(item.span, item.id, &item.ident, &item.vis, (), self);
                         visit::walk_list!(self, visit_attribute, &item.attrs);
                     }
-                    _ => visit::walk_item(self, item),
+                    _ => visit::walk_item(self, item, ()),
                 }
                 match item.kind {
                     ItemKind::Mod(..) if self.contains_macro_use(&item.attrs) => {
@@ -1355,7 +1355,7 @@ impl<'a, 'ra, 'tcx> Visitor<'a> for BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
         }
 
         self.build_reduced_graph_for_foreign_item(foreign_item);
-        visit::walk_item(self, foreign_item);
+        visit::walk_item(self, foreign_item, ());
     }
 
     fn visit_block(&mut self, block: &'a Block) {
@@ -1420,7 +1420,7 @@ impl<'a, 'ra, 'tcx> Visitor<'a> for BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
             self.r.impl_binding_keys.entry(impl_def_id).or_default().insert(key);
         }
 
-        visit::walk_assoc_item(self, item, ctxt);
+        visit::walk_item(self, item, ctxt);
     }
 
     fn visit_attribute(&mut self, attr: &'a ast::Attribute) {

compiler/rustc_resolve/src/check_unused.rs

@@ -235,7 +235,7 @@ impl<'a, 'ra, 'tcx> Visitor<'a> for UnusedImportCheckVisitor<'a, 'ra, 'tcx> {
         }
 
         self.item_span = item.span_with_attributes();
-        visit::walk_item(self, item);
+        visit::walk_item(self, item, ());
     }
 
     fn visit_use_tree(&mut self, use_tree: &'a ast::UseTree, id: ast::NodeId, nested: bool) {

compiler/rustc_resolve/src/def_collector.rs

@@ -199,7 +199,7 @@ impl<'a, 'ra, 'tcx> visit::Visitor<'a> for DefCollector<'a, 'ra, 'tcx> {
                 DefKind::Macro(macro_kind)
             }
             ItemKind::GlobalAsm(..) => DefKind::GlobalAsm,
-            ItemKind::Use(..) => return visit::walk_item(self, i),
+            ItemKind::Use(..) => return visit::walk_item(self, i, ()),
             ItemKind::MacCall(..) | ItemKind::DelegationMac(..) => {
                 return self.visit_macro_invoc(i.id);
             }
@@ -226,7 +226,7 @@ impl<'a, 'ra, 'tcx> visit::Visitor<'a> for DefCollector<'a, 'ra, 'tcx> {
                     }
                     _ => {}
                 }
-                visit::walk_item(this, i);
+                visit::walk_item(this, i, ());
             })
         });
     }
@@ -301,7 +301,7 @@ impl<'a, 'ra, 'tcx> visit::Visitor<'a> for DefCollector<'a, 'ra, 'tcx> {
 
         let def = self.create_def(fi.id, fi.ident.name, def_kind, fi.span);
 
-        self.with_parent(def, |this| visit::walk_item(this, fi));
+        self.with_parent(def, |this| visit::walk_item(this, fi, ()));
     }
 
     fn visit_variant(&mut self, v: &'a Variant) {
@@ -365,7 +365,7 @@ impl<'a, 'ra, 'tcx> visit::Visitor<'a> for DefCollector<'a, 'ra, 'tcx> {
         };
 
         let def = self.create_def(i.id, i.ident.name, def_kind, i.span);
-        self.with_parent(def, |this| visit::walk_assoc_item(this, i, ctxt));
+        self.with_parent(def, |this| visit::walk_item(this, i, ctxt));
     }
 
     fn visit_pat(&mut self, pat: &'a Pat) {

compiler/rustc_resolve/src/diagnostics.rs

@@ -3055,7 +3055,7 @@ impl<'tcx> visit::Visitor<'tcx> for UsePlacementFinder {
                 return;
             }
         } else {
-            visit::walk_item(self, item);
+            visit::walk_item(self, item, ());
         }
     }
 }

compiler/rustc_resolve/src/effective_visibilities.rs

@@ -247,7 +247,7 @@ impl<'a, 'ra, 'tcx> Visitor<'a> for EffectiveVisibilitiesVisitor<'a, 'ra, 'tcx>
                 let prev_private_vis =
                     mem::replace(&mut self.current_private_vis, Visibility::Restricted(def_id));
                 self.set_bindings_effective_visibilities(def_id);
-                visit::walk_item(self, item);
+                visit::walk_item(self, item, ());
                 self.current_private_vis = prev_private_vis;
             }