]>
Commit | Line | Data |
---|---|---|
ba9703b0 | 1 | use crate::arena::Arena; |
17df50a5 XL |
2 | use crate::hir::map::Map; |
3 | use crate::hir::{IndexedHir, OwnerNodes, ParentedNode}; | |
dfeec247 XL |
4 | use rustc_data_structures::fingerprint::Fingerprint; |
5 | use rustc_data_structures::fx::FxHashMap; | |
6 | use rustc_data_structures::stable_hasher::{HashStable, StableHasher}; | |
dfeec247 | 7 | use rustc_hir as hir; |
17df50a5 | 8 | use rustc_hir::def_id::LocalDefId; |
94222f64 | 9 | use rustc_hir::def_id::CRATE_DEF_ID; |
17df50a5 | 10 | use rustc_hir::definitions; |
dfeec247 XL |
11 | use rustc_hir::intravisit::{self, NestedVisitorMap, Visitor}; |
12 | use rustc_hir::*; | |
ba9703b0 | 13 | use rustc_index::vec::{Idx, IndexVec}; |
c295e0f8 | 14 | use rustc_query_system::ich::StableHashingContext; |
17df50a5 | 15 | use rustc_session::Session; |
dfeec247 | 16 | use rustc_span::source_map::SourceMap; |
17df50a5 | 17 | use rustc_span::{Span, DUMMY_SP}; |
b039eaaf | 18 | |
dfeec247 | 19 | use std::iter::repeat; |
ea8adc8c | 20 | |
dc9dc135 | 21 | /// A visitor that walks over the HIR and collects `Node`s into a HIR map. |
3b2f2976 | 22 | pub(super) struct NodeCollector<'a, 'hir> { |
ba9703b0 XL |
23 | arena: &'hir Arena<'hir>, |
24 | ||
a7813a04 | 25 | /// The crate |
dfeec247 | 26 | krate: &'hir Crate<'hir>, |
13cf67c4 XL |
27 | |
28 | /// Source map | |
29 | source_map: &'a SourceMap, | |
30 | ||
17df50a5 XL |
31 | map: IndexVec<LocalDefId, Option<&'hir mut OwnerNodes<'hir>>>, |
32 | parenting: FxHashMap<LocalDefId, HirId>, | |
ba9703b0 | 33 | |
a7813a04 | 34 | /// The parent of this node |
9fa01778 | 35 | parent_node: hir::HirId, |
3b2f2976 | 36 | |
ba9703b0 | 37 | current_dep_node_owner: LocalDefId, |
3b2f2976 | 38 | |
3b2f2976 | 39 | definitions: &'a definitions::Definitions, |
ea8adc8c XL |
40 | |
41 | hcx: StableHashingContext<'a>, | |
0731742a XL |
42 | } |
43 | ||
ba9703b0 XL |
44 | fn insert_vec_map<K: Idx, V: Clone>(map: &mut IndexVec<K, Option<V>>, k: K, v: V) { |
45 | let i = k.index(); | |
46 | let len = map.len(); | |
47 | if i >= len { | |
48 | map.extend(repeat(None).take(i - len + 1)); | |
49 | } | |
6a06907d | 50 | debug_assert!(map[k].is_none()); |
ba9703b0 XL |
51 | map[k] = Some(v); |
52 | } | |
53 | ||
ba9703b0 | 54 | fn hash_body( |
9fa01778 | 55 | hcx: &mut StableHashingContext<'_>, |
dfeec247 | 56 | item_like: impl for<'a> HashStable<StableHashingContext<'a>>, |
ba9703b0 | 57 | ) -> Fingerprint { |
17df50a5 XL |
58 | let mut stable_hasher = StableHasher::new(); |
59 | hcx.while_hashing_hir_bodies(true, |hcx| { | |
60 | item_like.hash_stable(hcx, &mut stable_hasher); | |
61 | }); | |
62 | stable_hasher.finish() | |
b039eaaf SL |
63 | } |
64 | ||
3b2f2976 | 65 | impl<'a, 'hir> NodeCollector<'a, 'hir> { |
60c5eb7d XL |
66 | pub(super) fn root( |
67 | sess: &'a Session, | |
ba9703b0 | 68 | arena: &'hir Arena<'hir>, |
dfeec247 | 69 | krate: &'hir Crate<'hir>, |
60c5eb7d | 70 | definitions: &'a definitions::Definitions, |
94222f64 | 71 | hcx: StableHashingContext<'a>, |
60c5eb7d | 72 | ) -> NodeCollector<'a, 'hir> { |
b039eaaf | 73 | let mut collector = NodeCollector { |
ba9703b0 | 74 | arena, |
041b39d2 | 75 | krate, |
0731742a | 76 | source_map: sess.source_map(), |
9fa01778 | 77 | parent_node: hir::CRATE_HIR_ID, |
94222f64 | 78 | current_dep_node_owner: CRATE_DEF_ID, |
3b2f2976 | 79 | definitions, |
ea8adc8c | 80 | hcx, |
17df50a5 XL |
81 | map: IndexVec::from_fn_n(|_| None, definitions.def_index_count()), |
82 | parenting: FxHashMap::default(), | |
b039eaaf | 83 | }; |
94222f64 | 84 | collector.insert_owner(CRATE_DEF_ID, OwnerNode::Crate(krate.module())); |
b039eaaf | 85 | |
b039eaaf SL |
86 | collector |
87 | } | |
88 | ||
17df50a5 | 89 | pub(super) fn finalize_and_compute_crate_hash(mut self) -> IndexedHir<'hir> { |
ba9703b0 XL |
90 | // Insert bodies into the map |
91 | for (id, body) in self.krate.bodies.iter() { | |
17df50a5 | 92 | let bodies = &mut self.map[id.hir_id.owner].as_mut().unwrap().bodies; |
ba9703b0 XL |
93 | assert!(bodies.insert(id.hir_id.local_id, body).is_none()); |
94 | } | |
17df50a5 | 95 | IndexedHir { map: self.map, parenting: self.parenting } |
3b2f2976 XL |
96 | } |
97 | ||
94222f64 XL |
98 | fn insert_owner(&mut self, owner: LocalDefId, node: OwnerNode<'hir>) { |
99 | let hash = hash_body(&mut self.hcx, node); | |
ba9703b0 | 100 | |
94222f64 XL |
101 | let mut nodes = IndexVec::new(); |
102 | nodes.push(Some(ParentedNode { parent: ItemLocalId::new(0), node: node.into() })); | |
6a06907d | 103 | |
94222f64 XL |
104 | debug_assert!(self.map[owner].is_none()); |
105 | self.map[owner] = | |
106 | Some(self.arena.alloc(OwnerNodes { hash, nodes, bodies: FxHashMap::default() })); | |
b039eaaf SL |
107 | } |
108 | ||
9fa01778 | 109 | fn insert(&mut self, span: Span, hir_id: HirId, node: Node<'hir>) { |
94222f64 XL |
110 | debug_assert_eq!(self.current_dep_node_owner, hir_id.owner); |
111 | debug_assert_ne!(hir_id.local_id.as_u32(), 0); | |
3b2f2976 XL |
112 | |
113 | // Make sure that the DepNode of some node coincides with the HirId | |
114 | // owner of that node. | |
115 | if cfg!(debug_assertions) { | |
8faf50e0 | 116 | if hir_id.owner != self.current_dep_node_owner { |
f035d41b | 117 | let node_str = match self.definitions.opt_hir_id_to_local_def_id(hir_id) { |
1b1a35ee | 118 | Some(def_id) => self.definitions.def_path(def_id).to_string_no_crate_verbose(), |
60c5eb7d | 119 | None => format!("{:?}", node), |
3b2f2976 XL |
120 | }; |
121 | ||
13cf67c4 XL |
122 | span_bug!( |
123 | span, | |
124 | "inconsistent DepNode at `{:?}` for `{}`: \ | |
ba9703b0 | 125 | current_dep_node_owner={} ({:?}), hir_id.owner={} ({:?})", |
17df50a5 | 126 | self.source_map.span_to_diagnostic_string(span), |
3b2f2976 | 127 | node_str, |
1b1a35ee XL |
128 | self.definitions |
129 | .def_path(self.current_dep_node_owner) | |
130 | .to_string_no_crate_verbose(), | |
13cf67c4 | 131 | self.current_dep_node_owner, |
1b1a35ee | 132 | self.definitions.def_path(hir_id.owner).to_string_no_crate_verbose(), |
13cf67c4 | 133 | hir_id.owner, |
13cf67c4 | 134 | ) |
3b2f2976 XL |
135 | } |
136 | } | |
137 | ||
94222f64 XL |
138 | let nodes = self.map[hir_id.owner].as_mut().unwrap(); |
139 | ||
140 | debug_assert_eq!(self.parent_node.owner, self.current_dep_node_owner); | |
141 | insert_vec_map( | |
142 | &mut nodes.nodes, | |
143 | hir_id.local_id, | |
144 | ParentedNode { parent: self.parent_node.local_id, node: node }, | |
145 | ); | |
b039eaaf | 146 | } |
a7813a04 | 147 | |
60c5eb7d | 148 | fn with_parent<F: FnOnce(&mut Self)>(&mut self, parent_node_id: HirId, f: F) { |
a7813a04 | 149 | let parent_node = self.parent_node; |
9fa01778 | 150 | self.parent_node = parent_node_id; |
a7813a04 XL |
151 | f(self); |
152 | self.parent_node = parent_node; | |
153 | } | |
3b2f2976 | 154 | |
94222f64 | 155 | fn with_dep_node_owner(&mut self, dep_node_owner: LocalDefId, f: impl FnOnce(&mut Self)) { |
3b2f2976 | 156 | let prev_owner = self.current_dep_node_owner; |
94222f64 | 157 | let prev_parent = self.parent_node; |
ea8adc8c | 158 | |
3b2f2976 | 159 | self.current_dep_node_owner = dep_node_owner; |
94222f64 XL |
160 | self.parent_node = HirId::make_owner(dep_node_owner); |
161 | f(self); | |
3b2f2976 | 162 | self.current_dep_node_owner = prev_owner; |
94222f64 | 163 | self.parent_node = prev_parent; |
3b2f2976 | 164 | } |
17df50a5 XL |
165 | |
166 | fn insert_nested(&mut self, item: LocalDefId) { | |
167 | #[cfg(debug_assertions)] | |
168 | { | |
169 | let dk_parent = self.definitions.def_key(item).parent.unwrap(); | |
170 | let dk_parent = LocalDefId { local_def_index: dk_parent }; | |
171 | let dk_parent = self.definitions.local_def_id_to_hir_id(dk_parent); | |
172 | debug_assert_eq!( | |
173 | dk_parent.owner, self.parent_node.owner, | |
174 | "Different parents for {:?}", | |
175 | item | |
176 | ) | |
177 | } | |
178 | ||
179 | assert_eq!(self.parenting.insert(item, self.parent_node), None); | |
180 | } | |
b039eaaf SL |
181 | } |
182 | ||
3b2f2976 | 183 | impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir> { |
dfeec247 XL |
184 | type Map = Map<'hir>; |
185 | ||
92a42be0 SL |
186 | /// Because we want to track parent items and so forth, enable |
187 | /// deep walking so that we walk nested items in the context of | |
188 | /// their outer items. | |
476ff2be | 189 | |
ba9703b0 | 190 | fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> { |
e1599b0c | 191 | panic!("`visit_nested_xxx` must be manually implemented in this visitor"); |
476ff2be SL |
192 | } |
193 | ||
92a42be0 | 194 | fn visit_nested_item(&mut self, item: ItemId) { |
7453a54e | 195 | debug!("visit_nested_item: {:?}", item); |
17df50a5 | 196 | self.insert_nested(item.def_id); |
6a06907d | 197 | self.visit_item(self.krate.item(item)); |
32a655c1 SL |
198 | } |
199 | ||
200 | fn visit_nested_trait_item(&mut self, item_id: TraitItemId) { | |
17df50a5 | 201 | self.insert_nested(item_id.def_id); |
32a655c1 | 202 | self.visit_trait_item(self.krate.trait_item(item_id)); |
92a42be0 SL |
203 | } |
204 | ||
476ff2be | 205 | fn visit_nested_impl_item(&mut self, item_id: ImplItemId) { |
17df50a5 | 206 | self.insert_nested(item_id.def_id); |
32a655c1 | 207 | self.visit_impl_item(self.krate.impl_item(item_id)); |
476ff2be SL |
208 | } |
209 | ||
fc512014 | 210 | fn visit_nested_foreign_item(&mut self, foreign_id: ForeignItemId) { |
17df50a5 | 211 | self.insert_nested(foreign_id.def_id); |
fc512014 XL |
212 | self.visit_foreign_item(self.krate.foreign_item(foreign_id)); |
213 | } | |
214 | ||
32a655c1 SL |
215 | fn visit_nested_body(&mut self, id: BodyId) { |
216 | self.visit_body(self.krate.body(id)); | |
476ff2be SL |
217 | } |
218 | ||
dfeec247 | 219 | fn visit_param(&mut self, param: &'hir Param<'hir>) { |
e1599b0c XL |
220 | let node = Node::Param(param); |
221 | self.insert(param.pat.span, param.hir_id, node); | |
222 | self.with_parent(param.hir_id, |this| { | |
223 | intravisit::walk_param(this, param); | |
416331ca XL |
224 | }); |
225 | } | |
226 | ||
dfeec247 | 227 | fn visit_item(&mut self, i: &'hir Item<'hir>) { |
7453a54e | 228 | debug!("visit_item: {:?}", i); |
94222f64 XL |
229 | self.insert_owner(i.def_id, OwnerNode::Item(i)); |
230 | self.with_dep_node_owner(i.def_id, |this| { | |
231 | if let ItemKind::Struct(ref struct_def, _) = i.kind { | |
232 | // If this is a tuple or unit-like struct, register the constructor. | |
233 | if let Some(ctor_hir_id) = struct_def.ctor_hir_id() { | |
234 | this.insert(i.span, ctor_hir_id, Node::Ctor(struct_def)); | |
b039eaaf | 235 | } |
94222f64 XL |
236 | } |
237 | intravisit::walk_item(this, i); | |
a7813a04 | 238 | }); |
b039eaaf SL |
239 | } |
240 | ||
fc512014 | 241 | fn visit_foreign_item(&mut self, fi: &'hir ForeignItem<'hir>) { |
94222f64 XL |
242 | self.insert_owner(fi.def_id, OwnerNode::ForeignItem(fi)); |
243 | self.with_dep_node_owner(fi.def_id, |this| { | |
244 | intravisit::walk_foreign_item(this, fi); | |
a7813a04 | 245 | }); |
b039eaaf SL |
246 | } |
247 | ||
dfeec247 | 248 | fn visit_generic_param(&mut self, param: &'hir GenericParam<'hir>) { |
cdc7bbd5 XL |
249 | self.insert(param.span, param.hir_id, Node::GenericParam(param)); |
250 | intravisit::walk_generic_param(self, param); | |
251 | } | |
29967ef6 | 252 | |
cdc7bbd5 | 253 | fn visit_const_param_default(&mut self, param: HirId, ct: &'hir AnonConst) { |
94222f64 XL |
254 | self.with_parent(param, |this| { |
255 | intravisit::walk_const_param_default(this, ct); | |
256 | }) | |
b039eaaf SL |
257 | } |
258 | ||
dfeec247 | 259 | fn visit_trait_item(&mut self, ti: &'hir TraitItem<'hir>) { |
94222f64 XL |
260 | self.insert_owner(ti.def_id, OwnerNode::TraitItem(ti)); |
261 | self.with_dep_node_owner(ti.def_id, |this| { | |
262 | intravisit::walk_trait_item(this, ti); | |
a7813a04 | 263 | }); |
b039eaaf SL |
264 | } |
265 | ||
dfeec247 | 266 | fn visit_impl_item(&mut self, ii: &'hir ImplItem<'hir>) { |
94222f64 XL |
267 | self.insert_owner(ii.def_id, OwnerNode::ImplItem(ii)); |
268 | self.with_dep_node_owner(ii.def_id, |this| { | |
269 | intravisit::walk_impl_item(this, ii); | |
a7813a04 | 270 | }); |
b039eaaf SL |
271 | } |
272 | ||
dfeec247 | 273 | fn visit_pat(&mut self, pat: &'hir Pat<'hir>) { |
60c5eb7d XL |
274 | let node = |
275 | if let PatKind::Binding(..) = pat.kind { Node::Binding(pat) } else { Node::Pat(pat) }; | |
9fa01778 | 276 | self.insert(pat.span, pat.hir_id, node); |
b039eaaf | 277 | |
9fa01778 | 278 | self.with_parent(pat.hir_id, |this| { |
a7813a04 XL |
279 | intravisit::walk_pat(this, pat); |
280 | }); | |
b039eaaf SL |
281 | } |
282 | ||
dfeec247 | 283 | fn visit_arm(&mut self, arm: &'hir Arm<'hir>) { |
dc9dc135 XL |
284 | let node = Node::Arm(arm); |
285 | ||
286 | self.insert(arm.span, arm.hir_id, node); | |
287 | ||
288 | self.with_parent(arm.hir_id, |this| { | |
289 | intravisit::walk_arm(this, arm); | |
290 | }); | |
291 | } | |
292 | ||
94b46f34 | 293 | fn visit_anon_const(&mut self, constant: &'hir AnonConst) { |
9fa01778 | 294 | self.insert(DUMMY_SP, constant.hir_id, Node::AnonConst(constant)); |
94b46f34 | 295 | |
9fa01778 | 296 | self.with_parent(constant.hir_id, |this| { |
94b46f34 XL |
297 | intravisit::walk_anon_const(this, constant); |
298 | }); | |
299 | } | |
300 | ||
dfeec247 | 301 | fn visit_expr(&mut self, expr: &'hir Expr<'hir>) { |
9fa01778 | 302 | self.insert(expr.span, expr.hir_id, Node::Expr(expr)); |
b039eaaf | 303 | |
9fa01778 | 304 | self.with_parent(expr.hir_id, |this| { |
a7813a04 XL |
305 | intravisit::walk_expr(this, expr); |
306 | }); | |
b039eaaf SL |
307 | } |
308 | ||
dfeec247 | 309 | fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>) { |
9fa01778 | 310 | self.insert(stmt.span, stmt.hir_id, Node::Stmt(stmt)); |
a7813a04 | 311 | |
9fa01778 | 312 | self.with_parent(stmt.hir_id, |this| { |
a7813a04 XL |
313 | intravisit::walk_stmt(this, stmt); |
314 | }); | |
b039eaaf SL |
315 | } |
316 | ||
dfeec247 | 317 | fn visit_path_segment(&mut self, path_span: Span, path_segment: &'hir PathSegment<'hir>) { |
9fa01778 XL |
318 | if let Some(hir_id) = path_segment.hir_id { |
319 | self.insert(path_span, hir_id, Node::PathSegment(path_segment)); | |
13cf67c4 XL |
320 | } |
321 | intravisit::walk_path_segment(self, path_span, path_segment); | |
322 | } | |
323 | ||
dfeec247 | 324 | fn visit_ty(&mut self, ty: &'hir Ty<'hir>) { |
9fa01778 | 325 | self.insert(ty.span, ty.hir_id, Node::Ty(ty)); |
5bcae85e | 326 | |
9fa01778 | 327 | self.with_parent(ty.hir_id, |this| { |
5bcae85e SL |
328 | intravisit::walk_ty(this, ty); |
329 | }); | |
330 | } | |
331 | ||
94222f64 XL |
332 | fn visit_infer(&mut self, inf: &'hir InferArg) { |
333 | self.insert(inf.span, inf.hir_id, Node::Infer(inf)); | |
334 | ||
335 | self.with_parent(inf.hir_id, |this| { | |
336 | intravisit::walk_inf(this, inf); | |
337 | }); | |
338 | } | |
339 | ||
dfeec247 | 340 | fn visit_trait_ref(&mut self, tr: &'hir TraitRef<'hir>) { |
9fa01778 | 341 | self.insert(tr.path.span, tr.hir_ref_id, Node::TraitRef(tr)); |
476ff2be | 342 | |
9fa01778 | 343 | self.with_parent(tr.hir_ref_id, |this| { |
476ff2be SL |
344 | intravisit::walk_trait_ref(this, tr); |
345 | }); | |
346 | } | |
347 | ||
60c5eb7d XL |
348 | fn visit_fn( |
349 | &mut self, | |
350 | fk: intravisit::FnKind<'hir>, | |
dfeec247 | 351 | fd: &'hir FnDecl<'hir>, |
60c5eb7d XL |
352 | b: BodyId, |
353 | s: Span, | |
354 | id: HirId, | |
355 | ) { | |
b039eaaf | 356 | assert_eq!(self.parent_node, id); |
5bcae85e | 357 | intravisit::walk_fn(self, fk, fd, b, s, id); |
b039eaaf SL |
358 | } |
359 | ||
dfeec247 | 360 | fn visit_block(&mut self, block: &'hir Block<'hir>) { |
9fa01778 XL |
361 | self.insert(block.span, block.hir_id, Node::Block(block)); |
362 | self.with_parent(block.hir_id, |this| { | |
a7813a04 XL |
363 | intravisit::walk_block(this, block); |
364 | }); | |
b039eaaf SL |
365 | } |
366 | ||
dfeec247 | 367 | fn visit_local(&mut self, l: &'hir Local<'hir>) { |
9fa01778 | 368 | self.insert(l.span, l.hir_id, Node::Local(l)); |
94222f64 XL |
369 | self.with_parent(l.hir_id, |this| { |
370 | intravisit::walk_local(this, l); | |
371 | }) | |
3b2f2976 XL |
372 | } |
373 | ||
32a655c1 | 374 | fn visit_lifetime(&mut self, lifetime: &'hir Lifetime) { |
9fa01778 | 375 | self.insert(lifetime.span, lifetime.hir_id, Node::Lifetime(lifetime)); |
b039eaaf | 376 | } |
476ff2be | 377 | |
dfeec247 | 378 | fn visit_vis(&mut self, visibility: &'hir Visibility<'hir>) { |
8faf50e0 | 379 | match visibility.node { |
60c5eb7d | 380 | VisibilityKind::Public | VisibilityKind::Crate(_) | VisibilityKind::Inherited => {} |
9fa01778 XL |
381 | VisibilityKind::Restricted { hir_id, .. } => { |
382 | self.insert(visibility.span, hir_id, Node::Visibility(visibility)); | |
383 | self.with_parent(hir_id, |this| { | |
476ff2be SL |
384 | intravisit::walk_vis(this, visibility); |
385 | }); | |
386 | } | |
387 | } | |
388 | } | |
389 | ||
dfeec247 | 390 | fn visit_variant(&mut self, v: &'hir Variant<'hir>, g: &'hir Generics<'hir>, item_id: HirId) { |
e1599b0c XL |
391 | self.insert(v.span, v.id, Node::Variant(v)); |
392 | self.with_parent(v.id, |this| { | |
532ac7d7 | 393 | // Register the constructor of this variant. |
e1599b0c XL |
394 | if let Some(ctor_hir_id) = v.data.ctor_hir_id() { |
395 | this.insert(v.span, ctor_hir_id, Node::Ctor(&v.data)); | |
532ac7d7 | 396 | } |
32a655c1 SL |
397 | intravisit::walk_variant(this, v, g, item_id); |
398 | }); | |
399 | } | |
400 | ||
6a06907d | 401 | fn visit_field_def(&mut self, field: &'hir FieldDef<'hir>) { |
9fa01778 XL |
402 | self.insert(field.span, field.hir_id, Node::Field(field)); |
403 | self.with_parent(field.hir_id, |this| { | |
6a06907d | 404 | intravisit::walk_field_def(this, field); |
476ff2be SL |
405 | }); |
406 | } | |
3b2f2976 XL |
407 | |
408 | fn visit_trait_item_ref(&mut self, ii: &'hir TraitItemRef) { | |
409 | // Do not visit the duplicate information in TraitItemRef. We want to | |
410 | // map the actual nodes, not the duplicate ones in the *Ref. | |
60c5eb7d | 411 | let TraitItemRef { id, ident: _, kind: _, span: _, defaultness: _ } = *ii; |
3b2f2976 XL |
412 | |
413 | self.visit_nested_trait_item(id); | |
414 | } | |
415 | ||
c295e0f8 | 416 | fn visit_impl_item_ref(&mut self, ii: &'hir ImplItemRef) { |
3b2f2976 XL |
417 | // Do not visit the duplicate information in ImplItemRef. We want to |
418 | // map the actual nodes, not the duplicate ones in the *Ref. | |
c295e0f8 | 419 | let ImplItemRef { id, ident: _, kind: _, span: _, defaultness: _ } = *ii; |
3b2f2976 XL |
420 | |
421 | self.visit_nested_impl_item(id); | |
422 | } | |
fc512014 | 423 | |
c295e0f8 | 424 | fn visit_foreign_item_ref(&mut self, fi: &'hir ForeignItemRef) { |
fc512014 XL |
425 | // Do not visit the duplicate information in ForeignItemRef. We want to |
426 | // map the actual nodes, not the duplicate ones in the *Ref. | |
c295e0f8 | 427 | let ForeignItemRef { id, ident: _, span: _ } = *fi; |
fc512014 XL |
428 | |
429 | self.visit_nested_foreign_item(id); | |
430 | } | |
b039eaaf | 431 | } |