ItemTree's ItemVisibilities has no identity, so deduplicate

This commit is contained in:
Lukas Wirth 2025-06-12 08:52:19 +02:00
parent c15fc9a344
commit 13494f4cac
7 changed files with 39 additions and 38 deletions

View File

@ -20,12 +20,10 @@ use span::Edition;
use triomphe::Arc; use triomphe::Arc;
use vfs::{AbsPathBuf, AnchoredPath, FileId, VfsPath, file_set::FileSet}; use vfs::{AbsPathBuf, AnchoredPath, FileId, VfsPath, file_set::FileSet};
use crate::{CrateWorkspaceData, EditionedFileId, RootQueryDb}; use crate::{CrateWorkspaceData, EditionedFileId, FxIndexSet, RootQueryDb};
pub type ProcMacroPaths = FxHashMap<CrateBuilderId, Result<(String, AbsPathBuf), String>>; pub type ProcMacroPaths = FxHashMap<CrateBuilderId, Result<(String, AbsPathBuf), String>>;
type FxIndexSet<T> = indexmap::IndexSet<T, FxBuildHasher>;
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, PartialOrd, Ord)] #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, PartialOrd, Ord)]
pub struct SourceRootId(pub u32); pub struct SourceRootId(pub u32);

View File

@ -28,6 +28,8 @@ use syntax::{Parse, SyntaxError, ast};
use triomphe::Arc; use triomphe::Arc;
pub use vfs::{AnchoredPath, AnchoredPathBuf, FileId, VfsPath, file_set::FileSet}; pub use vfs::{AnchoredPath, AnchoredPathBuf, FileId, VfsPath, file_set::FileSet};
pub type FxIndexSet<T> = indexmap::IndexSet<T, rustc_hash::FxBuildHasher>;
#[macro_export] #[macro_export]
macro_rules! impl_intern_key { macro_rules! impl_intern_key {
($id:ident, $loc:ident) => { ($id:ident, $loc:ident) => {

View File

@ -7,6 +7,7 @@ mod path;
use std::mem; use std::mem;
use base_db::FxIndexSet;
use cfg::CfgOptions; use cfg::CfgOptions;
use either::Either; use either::Either;
use hir_expand::{ use hir_expand::{
@ -66,8 +67,6 @@ use crate::{
pub use self::path::hir_segment_to_ast_segment; pub use self::path::hir_segment_to_ast_segment;
type FxIndexSet<K> = indexmap::IndexSet<K, std::hash::BuildHasherDefault<rustc_hash::FxHasher>>;
pub(super) fn lower_body( pub(super) fn lower_body(
db: &dyn DefDatabase, db: &dyn DefDatabase,
owner: DefWithBodyId, owner: DefWithBodyId,

View File

@ -246,7 +246,7 @@ impl ItemTree {
macro_calls, macro_calls,
macro_rules, macro_rules,
macro_defs, macro_defs,
vis, vis: _,
} = &mut **data; } = &mut **data;
uses.shrink_to_fit(); uses.shrink_to_fit();
@ -266,36 +266,13 @@ impl ItemTree {
macro_calls.shrink_to_fit(); macro_calls.shrink_to_fit();
macro_rules.shrink_to_fit(); macro_rules.shrink_to_fit();
macro_defs.shrink_to_fit(); macro_defs.shrink_to_fit();
vis.arena.shrink_to_fit();
} }
} }
} }
#[derive(Default, Debug, Eq, PartialEq)] #[derive(Default, Debug, Eq, PartialEq)]
struct ItemVisibilities { struct ItemVisibilities {
arena: Arena<RawVisibility>, arena: Box<[RawVisibility]>,
}
impl ItemVisibilities {
fn alloc(&mut self, vis: RawVisibility) -> RawVisibilityId {
match &vis {
RawVisibility::Public => RawVisibilityId::PUB,
RawVisibility::Module(path, explicitiy) if path.segments().is_empty() => {
match (path.kind, explicitiy) {
(PathKind::SELF, VisibilityExplicitness::Explicit) => {
RawVisibilityId::PRIV_EXPLICIT
}
(PathKind::SELF, VisibilityExplicitness::Implicit) => {
RawVisibilityId::PRIV_IMPLICIT
}
(PathKind::Crate, _) => RawVisibilityId::PUB_CRATE,
_ => RawVisibilityId(self.arena.alloc(vis).into_raw().into()),
}
}
_ => RawVisibilityId(self.arena.alloc(vis).into_raw().into()),
}
}
} }
#[derive(Default, Debug, Eq, PartialEq)] #[derive(Default, Debug, Eq, PartialEq)]
@ -577,7 +554,7 @@ impl Index<RawVisibilityId> for ItemTree {
VisibilityExplicitness::Explicit, VisibilityExplicitness::Explicit,
) )
}), }),
_ => &self.data().vis.arena[Idx::from_raw(index.0.into())], _ => &self.data().vis.arena[index.0 as usize],
} }
} }
} }
@ -702,7 +679,7 @@ pub enum FieldsShape {
} }
/// Visibility of an item, not yet resolved. /// Visibility of an item, not yet resolved.
#[derive(Debug, Clone, PartialEq, Eq)] #[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum RawVisibility { pub enum RawVisibility {
/// `pub(in module)`, `pub(crate)` or `pub(super)`. Also private, which is /// `pub(in module)`, `pub(crate)` or `pub(super)`. Also private, which is
/// equivalent to `pub(self)`. /// equivalent to `pub(self)`.

View File

@ -2,6 +2,7 @@
use std::{cell::OnceCell, collections::hash_map::Entry}; use std::{cell::OnceCell, collections::hash_map::Entry};
use base_db::FxIndexSet;
use hir_expand::{ use hir_expand::{
HirFileId, HirFileId,
mod_path::PathKind, mod_path::PathKind,
@ -37,6 +38,7 @@ pub(super) struct Ctx<'a> {
source_ast_id_map: Arc<AstIdMap>, source_ast_id_map: Arc<AstIdMap>,
span_map: OnceCell<SpanMap>, span_map: OnceCell<SpanMap>,
file: HirFileId, file: HirFileId,
visibilities: FxIndexSet<RawVisibility>,
} }
impl<'a> Ctx<'a> { impl<'a> Ctx<'a> {
@ -47,6 +49,7 @@ impl<'a> Ctx<'a> {
source_ast_id_map: db.ast_id_map(file), source_ast_id_map: db.ast_id_map(file),
file, file,
span_map: OnceCell::new(), span_map: OnceCell::new(),
visibilities: FxIndexSet::default(),
} }
} }
@ -57,6 +60,9 @@ impl<'a> Ctx<'a> {
pub(super) fn lower_module_items(mut self, item_owner: &dyn HasModuleItem) -> ItemTree { pub(super) fn lower_module_items(mut self, item_owner: &dyn HasModuleItem) -> ItemTree {
self.tree.top_level = self.tree.top_level =
item_owner.items().flat_map(|item| self.lower_mod_item(&item)).collect(); item_owner.items().flat_map(|item| self.lower_mod_item(&item)).collect();
if let Some(data) = &mut self.tree.data {
data.vis.arena = self.visibilities.into_iter().collect();
}
self.tree self.tree
} }
@ -90,6 +96,9 @@ impl<'a> Ctx<'a> {
} }
} }
if let Some(data) = &mut self.tree.data {
data.vis.arena = self.visibilities.into_iter().collect();
}
self.tree self.tree
} }
@ -115,7 +124,9 @@ impl<'a> Ctx<'a> {
} }
} }
} }
if let Some(data) = &mut self.tree.data {
data.vis.arena = self.visibilities.into_iter().collect();
}
self.tree self.tree
} }
@ -370,7 +381,22 @@ impl<'a> Ctx<'a> {
let vis = visibility_from_ast(self.db, item.visibility(), &mut |range| { let vis = visibility_from_ast(self.db, item.visibility(), &mut |range| {
self.span_map().span_for_range(range).ctx self.span_map().span_for_range(range).ctx
}); });
self.data().vis.alloc(vis) match &vis {
RawVisibility::Public => RawVisibilityId::PUB,
RawVisibility::Module(path, explicitiy) if path.segments().is_empty() => {
match (path.kind, explicitiy) {
(PathKind::SELF, VisibilityExplicitness::Explicit) => {
RawVisibilityId::PRIV_EXPLICIT
}
(PathKind::SELF, VisibilityExplicitness::Implicit) => {
RawVisibilityId::PRIV_IMPLICIT
}
(PathKind::Crate, _) => RawVisibilityId::PUB_CRATE,
_ => RawVisibilityId(self.visibilities.insert_full(vis).0 as u32),
}
}
_ => RawVisibilityId(self.visibilities.insert_full(vis).0 as u32),
}
} }
} }

View File

@ -1,5 +1,6 @@
//! File symbol extraction. //! File symbol extraction.
use base_db::FxIndexSet;
use either::Either; use either::Either;
use hir_def::{ use hir_def::{
AdtId, AssocItemId, Complete, DefWithBodyId, ExternCrateId, HasModule, ImplId, Lookup, MacroId, AdtId, AssocItemId, Complete, DefWithBodyId, ExternCrateId, HasModule, ImplId, Lookup, MacroId,
@ -21,8 +22,6 @@ use syntax::{AstNode, AstPtr, SmolStr, SyntaxNode, SyntaxNodePtr, ToSmolStr, ast
use crate::{HasCrate, Module, ModuleDef, Semantics}; use crate::{HasCrate, Module, ModuleDef, Semantics};
pub type FxIndexSet<T> = indexmap::IndexSet<T, std::hash::BuildHasherDefault<rustc_hash::FxHasher>>;
/// The actual data that is stored in the index. It should be as compact as /// The actual data that is stored in the index. It should be as compact as
/// possible. /// possible.
#[derive(Debug, Clone, PartialEq, Eq, Hash)] #[derive(Debug, Clone, PartialEq, Eq, Hash)]

View File

@ -5,11 +5,11 @@ use ast::HasName;
use cfg::{CfgAtom, CfgExpr}; use cfg::{CfgAtom, CfgExpr};
use hir::{ use hir::{
AsAssocItem, AttrsWithOwner, HasAttrs, HasCrate, HasSource, ModPath, Name, PathKind, Semantics, AsAssocItem, AttrsWithOwner, HasAttrs, HasCrate, HasSource, ModPath, Name, PathKind, Semantics,
Symbol, db::HirDatabase, sym, symbols::FxIndexSet, Symbol, db::HirDatabase, sym,
}; };
use ide_assists::utils::{has_test_related_attribute, test_related_attribute_syn}; use ide_assists::utils::{has_test_related_attribute, test_related_attribute_syn};
use ide_db::{ use ide_db::{
FilePosition, FxHashMap, FxIndexMap, RootDatabase, SymbolKind, FilePosition, FxHashMap, FxIndexMap, FxIndexSet, RootDatabase, SymbolKind,
base_db::RootQueryDb, base_db::RootQueryDb,
defs::Definition, defs::Definition,
documentation::docs_from_attrs, documentation::docs_from_attrs,