Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 99e432d

Browse files
committed
Make GenericParams::lifetimes private
1 parent 446e154 commit 99e432d

File tree

8 files changed

+12
-14
lines changed

8 files changed

+12
-14
lines changed

src/tools/rust-analyzer/crates/hir-def/src/child_by_source.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -215,7 +215,7 @@ impl ChildBySource for GenericDefId {
215215

216216
let generic_params = db.generic_params(*self);
217217
let mut toc_idx_iter = generic_params.iter_type_or_consts().map(|(idx, _)| idx);
218-
let lts_idx_iter = generic_params.lifetimes.iter().map(|(idx, _)| idx);
218+
let lts_idx_iter = generic_params.iter_lt().map(|(idx, _)| idx);
219219

220220
// For traits the first type index is `Self`, skip it.
221221
if let GenericDefId::TraitId(_) = *self {

src/tools/rust-analyzer/crates/hir-def/src/generics.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -160,7 +160,7 @@ pub enum GenericParamDataRef<'a> {
160160
#[derive(Clone, PartialEq, Eq, Debug, Hash)]
161161
pub struct GenericParams {
162162
type_or_consts: Arena<TypeOrConstParamData>,
163-
pub lifetimes: Arena<LifetimeParamData>,
163+
lifetimes: Arena<LifetimeParamData>,
164164
where_predicates: Box<[WherePredicate]>,
165165
}
166166

src/tools/rust-analyzer/crates/hir-def/src/item_tree/pretty.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -532,7 +532,7 @@ impl Printer<'_> {
532532

533533
w!(self, "<");
534534
let mut first = true;
535-
for (idx, lt) in params.lifetimes.iter() {
535+
for (idx, lt) in params.iter_lt() {
536536
if !first {
537537
w!(self, ", ");
538538
}

src/tools/rust-analyzer/crates/hir-def/src/resolver.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -775,7 +775,7 @@ impl Scope {
775775
);
776776
}
777777
}
778-
for (local_id, param) in params.lifetimes.iter() {
778+
for (local_id, param) in params.iter_lt() {
779779
let id = LifetimeParamId { parent, local_id };
780780
acc.add(&param.name, ScopeDef::GenericParam(id.into()))
781781
}

src/tools/rust-analyzer/crates/hir-def/src/src.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ impl HasChildSource<LocalLifetimeParamId> for GenericDefId {
103103
db: &dyn DefDatabase,
104104
) -> InFile<ArenaMap<LocalLifetimeParamId, Self::Value>> {
105105
let generic_params = db.generic_params(*self);
106-
let idx_iter = generic_params.lifetimes.iter().map(|(idx, _)| idx);
106+
let idx_iter = generic_params.iter_lt().map(|(idx, _)| idx);
107107

108108
let (file_id, generic_params_list) = self.file_id_and_params_of(db);
109109

src/tools/rust-analyzer/crates/hir-ty/src/generics.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -163,7 +163,7 @@ impl Generics {
163163
fn find_lifetime(&self, lifetime: LifetimeParamId) -> Option<usize> {
164164
if lifetime.parent == self.def {
165165
let idx = lifetime.local_id.into_raw().into_u32() as usize;
166-
debug_assert!(idx <= self.params.lifetimes.len());
166+
debug_assert!(idx <= self.params.len_lifetimes());
167167
Some(self.params.len_type_or_consts() + idx)
168168
} else {
169169
debug_assert_eq!(self.parent_generics().map(|it| it.def), Some(lifetime.parent));

src/tools/rust-analyzer/crates/hir/src/display.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -539,7 +539,7 @@ fn write_generic_params(
539539
f: &mut HirFormatter<'_>,
540540
) -> Result<(), HirDisplayError> {
541541
let params = f.db.generic_params(def);
542-
if params.lifetimes.is_empty()
542+
if params.iter_lt().next().is_none()
543543
&& params.iter_type_or_consts().all(|it| it.1.const_param().is_none())
544544
&& params
545545
.iter_type_or_consts()
@@ -559,7 +559,7 @@ fn write_generic_params(
559559
f.write_str(", ")
560560
}
561561
};
562-
for (_, lifetime) in params.lifetimes.iter() {
562+
for (_, lifetime) in params.iter_lt() {
563563
delim(f)?;
564564
write!(f, "{}", lifetime.name.display(f.db.upcast()))?;
565565
}

src/tools/rust-analyzer/crates/hir/src/lib.rs

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -665,7 +665,7 @@ impl Module {
665665
}
666666
let parent = impl_def.id.into();
667667
let generic_params = db.generic_params(parent);
668-
let lifetime_params = generic_params.lifetimes.iter().map(|(local_id, _)| {
668+
let lifetime_params = generic_params.iter_lt().map(|(local_id, _)| {
669669
GenericParamId::LifetimeParamId(LifetimeParamId { parent, local_id })
670670
});
671671
let type_params = generic_params
@@ -1540,8 +1540,7 @@ impl Adt {
15401540
resolver
15411541
.generic_params()
15421542
.and_then(|gp| {
1543-
gp.lifetimes
1544-
.iter()
1543+
gp.iter_lt()
15451544
// there should only be a single lifetime
15461545
// but `Arena` requires to use an iterator
15471546
.nth(0)
@@ -3141,8 +3140,7 @@ impl GenericDef {
31413140
pub fn lifetime_params(self, db: &dyn HirDatabase) -> Vec<LifetimeParam> {
31423141
let generics = db.generic_params(self.into());
31433142
generics
3144-
.lifetimes
3145-
.iter()
3143+
.iter_lt()
31463144
.map(|(local_id, _)| LifetimeParam {
31473145
id: LifetimeParamId { parent: self.into(), local_id },
31483146
})
@@ -3548,7 +3546,7 @@ pub struct LifetimeParam {
35483546
impl LifetimeParam {
35493547
pub fn name(self, db: &dyn HirDatabase) -> Name {
35503548
let params = db.generic_params(self.id.parent);
3551-
params.lifetimes[self.id.local_id].name.clone()
3549+
params[self.id.local_id].name.clone()
35523550
}
35533551

35543552
pub fn module(self, db: &dyn HirDatabase) -> Module {

0 commit comments

Comments
 (0)