]> git.proxmox.com Git - rustc.git/blame - src/librustc_middle/hir/map/collector.rs
New upstream version 1.46.0~beta.2+dfsg1
[rustc.git] / src / librustc_middle / hir / map / collector.rs
CommitLineData
ba9703b0
XL
1use crate::arena::Arena;
2use crate::hir::map::{Entry, HirOwnerData, Map};
3use crate::hir::{Owner, OwnerNodes, ParentedNode};
dfeec247 4use crate::ich::StableHashingContext;
9fa01778 5use crate::middle::cstore::CrateStore;
dfeec247
XL
6use rustc_data_structures::fingerprint::Fingerprint;
7use rustc_data_structures::fx::FxHashMap;
8use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
60c5eb7d 9use rustc_data_structures::svh::Svh;
dfeec247
XL
10use rustc_hir as hir;
11use rustc_hir::def_id::CRATE_DEF_INDEX;
ba9703b0
XL
12use rustc_hir::def_id::{LocalDefId, LOCAL_CRATE};
13use rustc_hir::definitions::{self, DefPathHash};
dfeec247
XL
14use rustc_hir::intravisit::{self, NestedVisitorMap, Visitor};
15use rustc_hir::*;
ba9703b0 16use rustc_index::vec::{Idx, IndexVec};
dfeec247
XL
17use rustc_session::{CrateDisambiguator, Session};
18use rustc_span::source_map::SourceMap;
19use rustc_span::{Span, Symbol, DUMMY_SP};
b039eaaf 20
dfeec247 21use std::iter::repeat;
ea8adc8c 22
dc9dc135 23/// A visitor that walks over the HIR and collects `Node`s into a HIR map.
3b2f2976 24pub(super) struct NodeCollector<'a, 'hir> {
ba9703b0
XL
25 arena: &'hir Arena<'hir>,
26
a7813a04 27 /// The crate
dfeec247 28 krate: &'hir Crate<'hir>,
13cf67c4
XL
29
30 /// Source map
31 source_map: &'a SourceMap,
32
ba9703b0
XL
33 map: IndexVec<LocalDefId, HirOwnerData<'hir>>,
34
a7813a04 35 /// The parent of this node
9fa01778 36 parent_node: hir::HirId,
3b2f2976 37
ba9703b0 38 current_dep_node_owner: LocalDefId,
3b2f2976 39
3b2f2976 40 definitions: &'a definitions::Definitions,
ea8adc8c
XL
41
42 hcx: StableHashingContext<'a>,
43
ba9703b0
XL
44 // We are collecting HIR hashes here so we can compute the
45 // crate hash from them later on.
0731742a
XL
46 hir_body_nodes: Vec<(DefPathHash, Fingerprint)>,
47}
48
ba9703b0
XL
49fn insert_vec_map<K: Idx, V: Clone>(map: &mut IndexVec<K, Option<V>>, k: K, v: V) {
50 let i = k.index();
51 let len = map.len();
52 if i >= len {
53 map.extend(repeat(None).take(i - len + 1));
54 }
55 map[k] = Some(v);
56}
57
58fn hash(
9fa01778 59 hcx: &mut StableHashingContext<'_>,
dfeec247 60 input: impl for<'a> HashStable<StableHashingContext<'a>>,
ba9703b0
XL
61) -> Fingerprint {
62 let mut stable_hasher = StableHasher::new();
63 input.hash_stable(hcx, &mut stable_hasher);
64 stable_hasher.finish()
0731742a
XL
65}
66
ba9703b0 67fn hash_body(
9fa01778 68 hcx: &mut StableHashingContext<'_>,
0731742a 69 def_path_hash: DefPathHash,
dfeec247 70 item_like: impl for<'a> HashStable<StableHashingContext<'a>>,
0731742a 71 hir_body_nodes: &mut Vec<(DefPathHash, Fingerprint)>,
ba9703b0
XL
72) -> Fingerprint {
73 let hash = hash(hcx, HirItemLike { item_like: &item_like });
0731742a 74 hir_body_nodes.push((def_path_hash, hash));
ba9703b0 75 hash
b039eaaf
SL
76}
77
dfeec247
XL
78fn upstream_crates(cstore: &dyn CrateStore) -> Vec<(Symbol, Fingerprint, Svh)> {
79 let mut upstream_crates: Vec<_> = cstore
80 .crates_untracked()
81 .iter()
82 .map(|&cnum| {
83 let name = cstore.crate_name_untracked(cnum);
84 let disambiguator = cstore.crate_disambiguator_untracked(cnum).to_fingerprint();
85 let hash = cstore.crate_hash_untracked(cnum);
86 (name, disambiguator, hash)
87 })
88 .collect();
89 upstream_crates.sort_unstable_by_key(|&(name, dis, _)| (name.as_str(), dis));
90 upstream_crates
91}
92
3b2f2976 93impl<'a, 'hir> NodeCollector<'a, 'hir> {
60c5eb7d
XL
94 pub(super) fn root(
95 sess: &'a Session,
ba9703b0 96 arena: &'hir Arena<'hir>,
dfeec247 97 krate: &'hir Crate<'hir>,
60c5eb7d 98 definitions: &'a definitions::Definitions,
60c5eb7d
XL
99 mut hcx: StableHashingContext<'a>,
100 ) -> NodeCollector<'a, 'hir> {
ba9703b0
XL
101 let root_mod_def_path_hash =
102 definitions.def_path_hash(LocalDefId { local_def_index: CRATE_DEF_INDEX });
ea8adc8c 103
0731742a
XL
104 let mut hir_body_nodes = Vec::new();
105
ba9703b0 106 let hash = {
ea8adc8c 107 let Crate {
ba9703b0 108 ref item,
ea8adc8c
XL
109 // These fields are handled separately:
110 exported_macros: _,
416331ca 111 non_exported_macro_attrs: _,
ea8adc8c
XL
112 items: _,
113 trait_items: _,
114 impl_items: _,
115 bodies: _,
116 trait_impls: _,
ea8adc8c 117 body_ids: _,
0731742a 118 modules: _,
74b04a01 119 proc_macros: _,
f035d41b 120 trait_map: _,
ea8adc8c
XL
121 } = *krate;
122
ba9703b0 123 hash_body(&mut hcx, root_mod_def_path_hash, item, &mut hir_body_nodes)
0731742a 124 };
ea8adc8c 125
b039eaaf 126 let mut collector = NodeCollector {
ba9703b0 127 arena,
041b39d2 128 krate,
0731742a 129 source_map: sess.source_map(),
9fa01778 130 parent_node: hir::CRATE_HIR_ID,
ba9703b0 131 current_dep_node_owner: LocalDefId { local_def_index: CRATE_DEF_INDEX },
3b2f2976 132 definitions,
ea8adc8c
XL
133 hcx,
134 hir_body_nodes,
ba9703b0
XL
135 map: (0..definitions.def_index_count())
136 .map(|_| HirOwnerData { signature: None, with_bodies: None })
137 .collect(),
b039eaaf 138 };
60c5eb7d
XL
139 collector.insert_entry(
140 hir::CRATE_HIR_ID,
ba9703b0
XL
141 Entry { parent: hir::CRATE_HIR_ID, node: Node::Crate(&krate.item) },
142 hash,
60c5eb7d 143 );
b039eaaf 144
b039eaaf
SL
145 collector
146 }
147
60c5eb7d
XL
148 pub(super) fn finalize_and_compute_crate_hash(
149 mut self,
150 crate_disambiguator: CrateDisambiguator,
151 cstore: &dyn CrateStore,
152 commandline_args_hash: u64,
ba9703b0
XL
153 ) -> (IndexVec<LocalDefId, HirOwnerData<'hir>>, Svh) {
154 // Insert bodies into the map
155 for (id, body) in self.krate.bodies.iter() {
156 let bodies = &mut self.map[id.hir_id.owner].with_bodies.as_mut().unwrap().bodies;
157 assert!(bodies.insert(id.hir_id.local_id, body).is_none());
158 }
159
b7449926 160 self.hir_body_nodes.sort_unstable_by_key(|bn| bn.0);
ea8adc8c 161
60c5eb7d
XL
162 let node_hashes = self.hir_body_nodes.iter().fold(
163 Fingerprint::ZERO,
164 |combined_fingerprint, &(def_path_hash, fingerprint)| {
0731742a 165 combined_fingerprint.combine(def_path_hash.0.combine(fingerprint))
60c5eb7d
XL
166 },
167 );
ea8adc8c 168
dfeec247 169 let upstream_crates = upstream_crates(cstore);
ff7c6d11 170
0531ce1d
XL
171 // We hash the final, remapped names of all local source files so we
172 // don't have to include the path prefix remapping commandline args.
173 // If we included the full mapping in the SVH, we could only have
174 // reproducible builds by compiling from the same directory. So we just
175 // hash the result of the mapping instead of the mapping itself.
13cf67c4
XL
176 let mut source_file_names: Vec<_> = self
177 .source_map
0531ce1d
XL
178 .files()
179 .iter()
ba9703b0 180 .filter(|source_file| source_file.cnum == LOCAL_CRATE)
b7449926 181 .map(|source_file| source_file.name_hash)
0531ce1d
XL
182 .collect();
183
184 source_file_names.sort_unstable();
185
0731742a
XL
186 let crate_hash_input = (
187 ((node_hashes, upstream_crates), source_file_names),
60c5eb7d 188 (commandline_args_hash, crate_disambiguator.to_fingerprint()),
0731742a
XL
189 );
190
74b04a01
XL
191 let mut stable_hasher = StableHasher::new();
192 crate_hash_input.hash_stable(&mut self.hcx, &mut stable_hasher);
193 let crate_hash: Fingerprint = stable_hasher.finish();
0731742a
XL
194
195 let svh = Svh::new(crate_hash.to_smaller_hash());
ff7c6d11 196 (self.map, svh)
3b2f2976
XL
197 }
198
ba9703b0 199 fn insert_entry(&mut self, id: HirId, entry: Entry<'hir>, hash: Fingerprint) {
48663c56 200 let i = id.local_id.as_u32() as usize;
ba9703b0
XL
201
202 let arena = self.arena;
203
204 let data = &mut self.map[id.owner];
205
206 if data.with_bodies.is_none() {
207 data.with_bodies = Some(arena.alloc(OwnerNodes {
208 hash,
209 nodes: IndexVec::new(),
210 bodies: FxHashMap::default(),
211 }));
212 }
213
214 let nodes = data.with_bodies.as_mut().unwrap();
215
216 if i == 0 {
217 // Overwrite the dummy hash with the real HIR owner hash.
218 nodes.hash = hash;
219
220 // FIXME: feature(impl_trait_in_bindings) broken and trigger this assert
221 //assert!(data.signature.is_none());
222
223 data.signature =
224 Some(self.arena.alloc(Owner { parent: entry.parent, node: entry.node }));
225 } else {
226 assert_eq!(entry.parent.owner, id.owner);
227 insert_vec_map(
228 &mut nodes.nodes,
229 id.local_id,
230 ParentedNode { parent: entry.parent.local_id, node: entry.node },
231 );
48663c56 232 }
b039eaaf
SL
233 }
234
9fa01778 235 fn insert(&mut self, span: Span, hir_id: HirId, node: Node<'hir>) {
ba9703b0
XL
236 self.insert_with_hash(span, hir_id, node, Fingerprint::ZERO)
237 }
238
239 fn insert_with_hash(&mut self, span: Span, hir_id: HirId, node: Node<'hir>, hash: Fingerprint) {
240 let entry = Entry { parent: self.parent_node, node };
3b2f2976
XL
241
242 // Make sure that the DepNode of some node coincides with the HirId
243 // owner of that node.
244 if cfg!(debug_assertions) {
8faf50e0 245 if hir_id.owner != self.current_dep_node_owner {
f035d41b 246 let node_str = match self.definitions.opt_hir_id_to_local_def_id(hir_id) {
ba9703b0 247 Some(def_id) => self.definitions.def_path(def_id).to_string_no_crate(),
60c5eb7d 248 None => format!("{:?}", node),
3b2f2976
XL
249 };
250
13cf67c4
XL
251 span_bug!(
252 span,
253 "inconsistent DepNode at `{:?}` for `{}`: \
ba9703b0 254 current_dep_node_owner={} ({:?}), hir_id.owner={} ({:?})",
13cf67c4 255 self.source_map.span_to_string(span),
3b2f2976 256 node_str,
60c5eb7d 257 self.definitions.def_path(self.current_dep_node_owner).to_string_no_crate(),
13cf67c4
XL
258 self.current_dep_node_owner,
259 self.definitions.def_path(hir_id.owner).to_string_no_crate(),
260 hir_id.owner,
13cf67c4 261 )
3b2f2976
XL
262 }
263 }
264
ba9703b0 265 self.insert_entry(hir_id, entry, hash);
b039eaaf 266 }
a7813a04 267
60c5eb7d 268 fn with_parent<F: FnOnce(&mut Self)>(&mut self, parent_node_id: HirId, f: F) {
a7813a04 269 let parent_node = self.parent_node;
9fa01778 270 self.parent_node = parent_node_id;
a7813a04
XL
271 f(self);
272 self.parent_node = parent_node;
273 }
3b2f2976 274
60c5eb7d
XL
275 fn with_dep_node_owner<
276 T: for<'b> HashStable<StableHashingContext<'b>>,
ba9703b0 277 F: FnOnce(&mut Self, Fingerprint),
60c5eb7d
XL
278 >(
279 &mut self,
ba9703b0 280 dep_node_owner: LocalDefId,
60c5eb7d
XL
281 item_like: &T,
282 f: F,
283 ) {
3b2f2976 284 let prev_owner = self.current_dep_node_owner;
ea8adc8c
XL
285
286 let def_path_hash = self.definitions.def_path_hash(dep_node_owner);
287
ba9703b0 288 let hash = hash_body(&mut self.hcx, def_path_hash, item_like, &mut self.hir_body_nodes);
ea8adc8c 289
3b2f2976 290 self.current_dep_node_owner = dep_node_owner;
ba9703b0 291 f(self, hash);
3b2f2976
XL
292 self.current_dep_node_owner = prev_owner;
293 }
b039eaaf
SL
294}
295
3b2f2976 296impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir> {
dfeec247
XL
297 type Map = Map<'hir>;
298
92a42be0
SL
299 /// Because we want to track parent items and so forth, enable
300 /// deep walking so that we walk nested items in the context of
301 /// their outer items.
476ff2be 302
ba9703b0 303 fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
e1599b0c 304 panic!("`visit_nested_xxx` must be manually implemented in this visitor");
476ff2be
SL
305 }
306
92a42be0 307 fn visit_nested_item(&mut self, item: ItemId) {
7453a54e 308 debug!("visit_nested_item: {:?}", item);
32a655c1
SL
309 self.visit_item(self.krate.item(item.id));
310 }
311
312 fn visit_nested_trait_item(&mut self, item_id: TraitItemId) {
313 self.visit_trait_item(self.krate.trait_item(item_id));
92a42be0
SL
314 }
315
476ff2be 316 fn visit_nested_impl_item(&mut self, item_id: ImplItemId) {
32a655c1 317 self.visit_impl_item(self.krate.impl_item(item_id));
476ff2be
SL
318 }
319
32a655c1
SL
320 fn visit_nested_body(&mut self, id: BodyId) {
321 self.visit_body(self.krate.body(id));
476ff2be
SL
322 }
323
dfeec247 324 fn visit_param(&mut self, param: &'hir Param<'hir>) {
e1599b0c
XL
325 let node = Node::Param(param);
326 self.insert(param.pat.span, param.hir_id, node);
327 self.with_parent(param.hir_id, |this| {
328 intravisit::walk_param(this, param);
416331ca
XL
329 });
330 }
331
dfeec247 332 fn visit_item(&mut self, i: &'hir Item<'hir>) {
7453a54e 333 debug!("visit_item: {:?}", i);
60c5eb7d
XL
334 debug_assert_eq!(
335 i.hir_id.owner,
f035d41b 336 self.definitions.opt_hir_id_to_local_def_id(i.hir_id).unwrap()
60c5eb7d 337 );
ba9703b0
XL
338 self.with_dep_node_owner(i.hir_id.owner, i, |this, hash| {
339 this.insert_with_hash(i.span, i.hir_id, Node::Item(i), hash);
9fa01778 340 this.with_parent(i.hir_id, |this| {
e74abb32 341 if let ItemKind::Struct(ref struct_def, _) = i.kind {
532ac7d7
XL
342 // If this is a tuple or unit-like struct, register the constructor.
343 if let Some(ctor_hir_id) = struct_def.ctor_hir_id() {
344 this.insert(i.span, ctor_hir_id, Node::Ctor(struct_def));
a7813a04 345 }
b039eaaf 346 }
3b2f2976
XL
347 intravisit::walk_item(this, i);
348 });
a7813a04 349 });
b039eaaf
SL
350 }
351
dfeec247 352 fn visit_foreign_item(&mut self, foreign_item: &'hir ForeignItem<'hir>) {
9fa01778 353 self.insert(foreign_item.span, foreign_item.hir_id, Node::ForeignItem(foreign_item));
b039eaaf 354
9fa01778 355 self.with_parent(foreign_item.hir_id, |this| {
a7813a04
XL
356 intravisit::walk_foreign_item(this, foreign_item);
357 });
b039eaaf
SL
358 }
359
dfeec247 360 fn visit_generic_param(&mut self, param: &'hir GenericParam<'hir>) {
9fa01778 361 self.insert(param.span, param.hir_id, Node::GenericParam(param));
94b46f34 362 intravisit::walk_generic_param(self, param);
b039eaaf
SL
363 }
364
dfeec247 365 fn visit_trait_item(&mut self, ti: &'hir TraitItem<'hir>) {
60c5eb7d
XL
366 debug_assert_eq!(
367 ti.hir_id.owner,
f035d41b 368 self.definitions.opt_hir_id_to_local_def_id(ti.hir_id).unwrap()
60c5eb7d 369 );
ba9703b0
XL
370 self.with_dep_node_owner(ti.hir_id.owner, ti, |this, hash| {
371 this.insert_with_hash(ti.span, ti.hir_id, Node::TraitItem(ti), hash);
3b2f2976 372
9fa01778 373 this.with_parent(ti.hir_id, |this| {
3b2f2976
XL
374 intravisit::walk_trait_item(this, ti);
375 });
a7813a04 376 });
b039eaaf
SL
377 }
378
dfeec247 379 fn visit_impl_item(&mut self, ii: &'hir ImplItem<'hir>) {
60c5eb7d
XL
380 debug_assert_eq!(
381 ii.hir_id.owner,
f035d41b 382 self.definitions.opt_hir_id_to_local_def_id(ii.hir_id).unwrap()
60c5eb7d 383 );
ba9703b0
XL
384 self.with_dep_node_owner(ii.hir_id.owner, ii, |this, hash| {
385 this.insert_with_hash(ii.span, ii.hir_id, Node::ImplItem(ii), hash);
3b2f2976 386
9fa01778 387 this.with_parent(ii.hir_id, |this| {
3b2f2976
XL
388 intravisit::walk_impl_item(this, ii);
389 });
a7813a04 390 });
b039eaaf
SL
391 }
392
dfeec247 393 fn visit_pat(&mut self, pat: &'hir Pat<'hir>) {
60c5eb7d
XL
394 let node =
395 if let PatKind::Binding(..) = pat.kind { Node::Binding(pat) } else { Node::Pat(pat) };
9fa01778 396 self.insert(pat.span, pat.hir_id, node);
b039eaaf 397
9fa01778 398 self.with_parent(pat.hir_id, |this| {
a7813a04
XL
399 intravisit::walk_pat(this, pat);
400 });
b039eaaf
SL
401 }
402
dfeec247 403 fn visit_arm(&mut self, arm: &'hir Arm<'hir>) {
dc9dc135
XL
404 let node = Node::Arm(arm);
405
406 self.insert(arm.span, arm.hir_id, node);
407
408 self.with_parent(arm.hir_id, |this| {
409 intravisit::walk_arm(this, arm);
410 });
411 }
412
94b46f34 413 fn visit_anon_const(&mut self, constant: &'hir AnonConst) {
9fa01778 414 self.insert(DUMMY_SP, constant.hir_id, Node::AnonConst(constant));
94b46f34 415
9fa01778 416 self.with_parent(constant.hir_id, |this| {
94b46f34
XL
417 intravisit::walk_anon_const(this, constant);
418 });
419 }
420
dfeec247 421 fn visit_expr(&mut self, expr: &'hir Expr<'hir>) {
9fa01778 422 self.insert(expr.span, expr.hir_id, Node::Expr(expr));
b039eaaf 423
9fa01778 424 self.with_parent(expr.hir_id, |this| {
a7813a04
XL
425 intravisit::walk_expr(this, expr);
426 });
b039eaaf
SL
427 }
428
dfeec247 429 fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>) {
9fa01778 430 self.insert(stmt.span, stmt.hir_id, Node::Stmt(stmt));
a7813a04 431
9fa01778 432 self.with_parent(stmt.hir_id, |this| {
a7813a04
XL
433 intravisit::walk_stmt(this, stmt);
434 });
b039eaaf
SL
435 }
436
dfeec247 437 fn visit_path_segment(&mut self, path_span: Span, path_segment: &'hir PathSegment<'hir>) {
9fa01778
XL
438 if let Some(hir_id) = path_segment.hir_id {
439 self.insert(path_span, hir_id, Node::PathSegment(path_segment));
13cf67c4
XL
440 }
441 intravisit::walk_path_segment(self, path_span, path_segment);
442 }
443
dfeec247 444 fn visit_ty(&mut self, ty: &'hir Ty<'hir>) {
9fa01778 445 self.insert(ty.span, ty.hir_id, Node::Ty(ty));
5bcae85e 446
9fa01778 447 self.with_parent(ty.hir_id, |this| {
5bcae85e
SL
448 intravisit::walk_ty(this, ty);
449 });
450 }
451
dfeec247 452 fn visit_trait_ref(&mut self, tr: &'hir TraitRef<'hir>) {
9fa01778 453 self.insert(tr.path.span, tr.hir_ref_id, Node::TraitRef(tr));
476ff2be 454
9fa01778 455 self.with_parent(tr.hir_ref_id, |this| {
476ff2be
SL
456 intravisit::walk_trait_ref(this, tr);
457 });
458 }
459
60c5eb7d
XL
460 fn visit_fn(
461 &mut self,
462 fk: intravisit::FnKind<'hir>,
dfeec247 463 fd: &'hir FnDecl<'hir>,
60c5eb7d
XL
464 b: BodyId,
465 s: Span,
466 id: HirId,
467 ) {
b039eaaf 468 assert_eq!(self.parent_node, id);
5bcae85e 469 intravisit::walk_fn(self, fk, fd, b, s, id);
b039eaaf
SL
470 }
471
dfeec247 472 fn visit_block(&mut self, block: &'hir Block<'hir>) {
9fa01778
XL
473 self.insert(block.span, block.hir_id, Node::Block(block));
474 self.with_parent(block.hir_id, |this| {
a7813a04
XL
475 intravisit::walk_block(this, block);
476 });
b039eaaf
SL
477 }
478
dfeec247 479 fn visit_local(&mut self, l: &'hir Local<'hir>) {
9fa01778 480 self.insert(l.span, l.hir_id, Node::Local(l));
60c5eb7d 481 self.with_parent(l.hir_id, |this| intravisit::walk_local(this, l))
3b2f2976
XL
482 }
483
32a655c1 484 fn visit_lifetime(&mut self, lifetime: &'hir Lifetime) {
9fa01778 485 self.insert(lifetime.span, lifetime.hir_id, Node::Lifetime(lifetime));
b039eaaf 486 }
476ff2be 487
dfeec247 488 fn visit_vis(&mut self, visibility: &'hir Visibility<'hir>) {
8faf50e0 489 match visibility.node {
60c5eb7d 490 VisibilityKind::Public | VisibilityKind::Crate(_) | VisibilityKind::Inherited => {}
9fa01778
XL
491 VisibilityKind::Restricted { hir_id, .. } => {
492 self.insert(visibility.span, hir_id, Node::Visibility(visibility));
493 self.with_parent(hir_id, |this| {
476ff2be
SL
494 intravisit::walk_vis(this, visibility);
495 });
496 }
497 }
498 }
499
dfeec247 500 fn visit_macro_def(&mut self, macro_def: &'hir MacroDef<'hir>) {
ba9703b0
XL
501 self.with_dep_node_owner(macro_def.hir_id.owner, macro_def, |this, hash| {
502 this.insert_with_hash(
503 macro_def.span,
504 macro_def.hir_id,
505 Node::MacroDef(macro_def),
506 hash,
507 );
ea8adc8c 508 });
476ff2be
SL
509 }
510
dfeec247 511 fn visit_variant(&mut self, v: &'hir Variant<'hir>, g: &'hir Generics<'hir>, item_id: HirId) {
e1599b0c
XL
512 self.insert(v.span, v.id, Node::Variant(v));
513 self.with_parent(v.id, |this| {
532ac7d7 514 // Register the constructor of this variant.
e1599b0c
XL
515 if let Some(ctor_hir_id) = v.data.ctor_hir_id() {
516 this.insert(v.span, ctor_hir_id, Node::Ctor(&v.data));
532ac7d7 517 }
32a655c1
SL
518 intravisit::walk_variant(this, v, g, item_id);
519 });
520 }
521
dfeec247 522 fn visit_struct_field(&mut self, field: &'hir StructField<'hir>) {
9fa01778
XL
523 self.insert(field.span, field.hir_id, Node::Field(field));
524 self.with_parent(field.hir_id, |this| {
476ff2be
SL
525 intravisit::walk_struct_field(this, field);
526 });
527 }
3b2f2976
XL
528
529 fn visit_trait_item_ref(&mut self, ii: &'hir TraitItemRef) {
530 // Do not visit the duplicate information in TraitItemRef. We want to
531 // map the actual nodes, not the duplicate ones in the *Ref.
60c5eb7d 532 let TraitItemRef { id, ident: _, kind: _, span: _, defaultness: _ } = *ii;
3b2f2976
XL
533
534 self.visit_nested_trait_item(id);
535 }
536
dfeec247 537 fn visit_impl_item_ref(&mut self, ii: &'hir ImplItemRef<'hir>) {
3b2f2976
XL
538 // Do not visit the duplicate information in ImplItemRef. We want to
539 // map the actual nodes, not the duplicate ones in the *Ref.
60c5eb7d 540 let ImplItemRef { id, ident: _, kind: _, span: _, vis: _, defaultness: _ } = *ii;
3b2f2976
XL
541
542 self.visit_nested_impl_item(id);
543 }
b039eaaf 544}
ea8adc8c 545
ea8adc8c
XL
546struct HirItemLike<T> {
547 item_like: T,
ea8adc8c
XL
548}
549
dc9dc135
XL
550impl<'hir, T> HashStable<StableHashingContext<'hir>> for HirItemLike<T>
551where
552 T: HashStable<StableHashingContext<'hir>>,
ea8adc8c 553{
e74abb32 554 fn hash_stable(&self, hcx: &mut StableHashingContext<'hir>, hasher: &mut StableHasher) {
ba9703b0 555 hcx.while_hashing_hir_bodies(true, |hcx| {
ea8adc8c
XL
556 self.item_like.hash_stable(hcx, hasher);
557 });
558 }
559}