diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2021-07-14 18:04:56 +0200 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2021-09-01 20:13:16 +0200 |
| commit | 26eeec0bafabb08df96168448f4b64d9fb650b0b (patch) | |
| tree | b9542cc9996a0a326221d722a57011d4a76e264e /compiler/rustc_ast_lowering/src/lib.rs | |
| parent | 74fb87e3a0bb88cd3bd9857bedc236bda52a8af7 (diff) | |
| download | rust-26eeec0bafabb08df96168448f4b64d9fb650b0b.tar.gz rust-26eeec0bafabb08df96168448f4b64d9fb650b0b.zip | |
Compute item_generics_num_lifetimes during resolution.
Diffstat (limited to 'compiler/rustc_ast_lowering/src/lib.rs')
| -rw-r--r-- | compiler/rustc_ast_lowering/src/lib.rs | 47 |
1 files changed, 4 insertions, 43 deletions
diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs index 196d48faf51..5d3a5fc20e0 100644 --- a/compiler/rustc_ast_lowering/src/lib.rs +++ b/compiler/rustc_ast_lowering/src/lib.rs @@ -39,7 +39,6 @@ use rustc_ast::node_id::NodeMap; use rustc_ast::token::{self, Token}; use rustc_ast::tokenstream::{CanSynthesizeMissingTokens, TokenStream, TokenTree}; use rustc_ast::visit::{self, AssocCtxt, Visitor}; -use rustc_ast::walk_list; use rustc_ast::{self as ast, *}; use rustc_ast_pretty::pprust; use rustc_data_structures::captures::Captures; @@ -48,7 +47,7 @@ use rustc_data_structures::sync::Lrc; use rustc_errors::{struct_span_err, Applicability}; use rustc_hir as hir; use rustc_hir::def::{DefKind, Namespace, PartialRes, PerNS, Res}; -use rustc_hir::def_id::{DefId, DefIdMap, DefPathHash, LocalDefId, CRATE_DEF_ID}; +use rustc_hir::def_id::{DefId, DefPathHash, LocalDefId, CRATE_DEF_ID}; use rustc_hir::definitions::{DefKey, DefPathData, Definitions}; use rustc_hir::intravisit; use rustc_hir::{ConstArg, GenericArg, InferKind, ParamName}; @@ -159,8 +158,6 @@ struct LoweringContext<'a, 'hir: 'a> { current_module: LocalDefId, - type_def_lifetime_params: DefIdMap<usize>, - current_hir_id_owner: (LocalDefId, u32), item_local_id_counters: NodeMap<u32>, node_id_to_hir_id: IndexVec<NodeId, Option<hir::HirId>>, @@ -172,7 +169,7 @@ struct LoweringContext<'a, 'hir: 'a> { pub trait ResolverAstLowering { fn def_key(&mut self, id: DefId) -> DefKey; - fn item_generics_num_lifetimes(&self, def: DefId, sess: &Session) -> usize; + fn item_generics_num_lifetimes(&self, def: DefId) -> usize; fn legacy_const_generic_args(&mut self, expr: &Expr) -> Option<Vec<usize>>; @@ -336,7 +333,6 @@ pub fn lower_crate<'a, 'hir>( is_in_trait_impl: false, is_in_dyn_type: false, anonymous_lifetime_mode: AnonymousLifetimeMode::PassThrough, - type_def_lifetime_params: Default::default(), current_module: CRATE_DEF_ID, current_hir_id_owner: (CRATE_DEF_ID, 0), item_local_id_counters: Default::default(), @@ -452,26 +448,8 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> { fn visit_item(&mut self, item: &'tcx Item) { self.lctx.allocate_hir_id_counter(item.id); - match item.kind { - ItemKind::Struct(_, ref generics) - | ItemKind::Union(_, ref generics) - | ItemKind::Enum(_, ref generics) - | ItemKind::TyAlias(box TyAliasKind(_, ref generics, ..)) - | ItemKind::Trait(box TraitKind(_, _, ref generics, ..)) => { - let def_id = self.lctx.resolver.local_def_id(item.id); - let count = generics - .params - .iter() - .filter(|param| { - matches!(param.kind, ast::GenericParamKind::Lifetime { .. }) - }) - .count(); - self.lctx.type_def_lifetime_params.insert(def_id.to_def_id(), count); - } - ItemKind::Use(ref use_tree) => { - self.allocate_use_tree_hir_id_counters(use_tree); - } - _ => {} + if let ItemKind::Use(ref use_tree) = item.kind { + self.allocate_use_tree_hir_id_counters(use_tree); } visit::walk_item(self, item); @@ -486,23 +464,6 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> { self.lctx.allocate_hir_id_counter(item.id); visit::walk_foreign_item(self, item); } - - fn visit_ty(&mut self, t: &'tcx Ty) { - match t.kind { - // Mirrors the case in visit::walk_ty - TyKind::BareFn(ref f) => { - walk_list!(self, visit_generic_param, &f.generic_params); - // Mirrors visit::walk_fn_decl - for parameter in &f.decl.inputs { - // We don't lower the ids of argument patterns - self.visit_pat(¶meter.pat); - self.visit_ty(¶meter.ty) - } - self.visit_fn_ret_ty(&f.decl.output) - } - _ => visit::walk_ty(self, t), - } - } } self.lower_node_id(CRATE_NODE_ID); |
