mirror of
https://github.com/rust-lang/rust-analyzer
synced 2024-11-15 17:28:09 +00:00
Merge #11236
11236: internal: Remove `InFile` wrapping from `DynMap` keys r=Veykril a=Veykril We already store a `DynMap` per `(Container, HirFileId)` pair, so the `InFile` keys are already guruanteed to always be of the same file id bors r+ Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
This commit is contained in:
commit
01c3303270
4 changed files with 83 additions and 139 deletions
|
@ -242,7 +242,7 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
|
|
||||||
pub(super) fn item_to_macro_call(&mut self, src: InFile<ast::Item>) -> Option<MacroCallId> {
|
pub(super) fn item_to_macro_call(&mut self, src: InFile<ast::Item>) -> Option<MacroCallId> {
|
||||||
let map = self.dyn_map(src.as_ref())?;
|
let map = self.dyn_map(src.as_ref())?;
|
||||||
map[keys::ATTR_MACRO_CALL].get(&src).copied()
|
map[keys::ATTR_MACRO_CALL].get(&src.value).copied()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn attr_to_derive_macro_call(
|
pub(super) fn attr_to_derive_macro_call(
|
||||||
|
@ -251,7 +251,7 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
src: InFile<ast::Attr>,
|
src: InFile<ast::Attr>,
|
||||||
) -> Option<(AttrId, &[Option<MacroCallId>])> {
|
) -> Option<(AttrId, &[Option<MacroCallId>])> {
|
||||||
let map = self.dyn_map(item)?;
|
let map = self.dyn_map(item)?;
|
||||||
map[keys::DERIVE_MACRO_CALL].get(&src).map(|(id, ids)| (*id, &**ids))
|
map[keys::DERIVE_MACRO_CALL].get(&src.value).map(|(id, ids)| (*id, &**ids))
|
||||||
}
|
}
|
||||||
|
|
||||||
fn to_def<Ast: AstNode + 'static, ID: Copy + 'static>(
|
fn to_def<Ast: AstNode + 'static, ID: Copy + 'static>(
|
||||||
|
@ -259,7 +259,7 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
src: InFile<Ast>,
|
src: InFile<Ast>,
|
||||||
key: Key<Ast, ID>,
|
key: Key<Ast, ID>,
|
||||||
) -> Option<ID> {
|
) -> Option<ID> {
|
||||||
self.dyn_map(src.as_ref())?[key].get(&src).copied()
|
self.dyn_map(src.as_ref())?[key].get(&src.value).copied()
|
||||||
}
|
}
|
||||||
|
|
||||||
fn dyn_map<Ast: AstNode + 'static>(&mut self, src: InFile<&Ast>) -> Option<&DynMap> {
|
fn dyn_map<Ast: AstNode + 'static>(&mut self, src: InFile<&Ast>) -> Option<&DynMap> {
|
||||||
|
@ -277,7 +277,7 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
pub(super) fn type_param_to_def(&mut self, src: InFile<ast::TypeParam>) -> Option<TypeParamId> {
|
pub(super) fn type_param_to_def(&mut self, src: InFile<ast::TypeParam>) -> Option<TypeParamId> {
|
||||||
let container: ChildContainer = self.find_generic_param_container(src.syntax())?.into();
|
let container: ChildContainer = self.find_generic_param_container(src.syntax())?.into();
|
||||||
let dyn_map = self.cache_for(container, src.file_id);
|
let dyn_map = self.cache_for(container, src.file_id);
|
||||||
dyn_map[keys::TYPE_PARAM].get(&src).copied()
|
dyn_map[keys::TYPE_PARAM].get(&src.value).copied()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn lifetime_param_to_def(
|
pub(super) fn lifetime_param_to_def(
|
||||||
|
@ -286,7 +286,7 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
) -> Option<LifetimeParamId> {
|
) -> Option<LifetimeParamId> {
|
||||||
let container: ChildContainer = self.find_generic_param_container(src.syntax())?.into();
|
let container: ChildContainer = self.find_generic_param_container(src.syntax())?.into();
|
||||||
let dyn_map = self.cache_for(container, src.file_id);
|
let dyn_map = self.cache_for(container, src.file_id);
|
||||||
dyn_map[keys::LIFETIME_PARAM].get(&src).copied()
|
dyn_map[keys::LIFETIME_PARAM].get(&src.value).copied()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn const_param_to_def(
|
pub(super) fn const_param_to_def(
|
||||||
|
@ -295,7 +295,7 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
) -> Option<ConstParamId> {
|
) -> Option<ConstParamId> {
|
||||||
let container: ChildContainer = self.find_generic_param_container(src.syntax())?.into();
|
let container: ChildContainer = self.find_generic_param_container(src.syntax())?.into();
|
||||||
let dyn_map = self.cache_for(container, src.file_id);
|
let dyn_map = self.cache_for(container, src.file_id);
|
||||||
dyn_map[keys::CONST_PARAM].get(&src).copied()
|
dyn_map[keys::CONST_PARAM].get(&src.value).copied()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn generic_param_to_def(
|
pub(super) fn generic_param_to_def(
|
||||||
|
@ -316,9 +316,9 @@ impl SourceToDefCtx<'_, '_> {
|
||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn macro_to_def(&mut self, src: InFile<ast::Macro>) -> Option<MacroDefId> {
|
pub(super) fn macro_to_def(&mut self, src: InFile<ast::Macro>) -> Option<MacroDefId> {
|
||||||
let makro = self.dyn_map(src.as_ref()).and_then(|it| it[keys::MACRO].get(&src).copied());
|
let makro = self.dyn_map(src.as_ref()).and_then(|it| it[keys::MACRO].get(&src.value));
|
||||||
if let res @ Some(_) = makro {
|
if let Some(&makro) = makro {
|
||||||
return res;
|
return Some(makro);
|
||||||
}
|
}
|
||||||
|
|
||||||
// Not all macros are recorded in the dyn map, only the ones behaving like items, so fall back
|
// Not all macros are recorded in the dyn map, only the ones behaving like items, so fall back
|
||||||
|
|
|
@ -33,12 +33,11 @@ impl ChildBySource for TraitId {
|
||||||
|
|
||||||
data.attribute_calls().filter(|(ast_id, _)| ast_id.file_id == file_id).for_each(
|
data.attribute_calls().filter(|(ast_id, _)| ast_id.file_id == file_id).for_each(
|
||||||
|(ast_id, call_id)| {
|
|(ast_id, call_id)| {
|
||||||
let item = ast_id.with_value(ast_id.to_node(db.upcast()));
|
res[keys::ATTR_MACRO_CALL].insert(ast_id.to_node(db.upcast()), call_id);
|
||||||
res[keys::ATTR_MACRO_CALL].insert(item, call_id);
|
|
||||||
},
|
},
|
||||||
);
|
);
|
||||||
data.items.iter().for_each(|&(_, item)| {
|
data.items.iter().for_each(|&(_, item)| {
|
||||||
child_by_source_assoc_items(db, res, file_id, item);
|
add_assoc_item(db, res, file_id, item);
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -48,42 +47,33 @@ impl ChildBySource for ImplId {
|
||||||
let data = db.impl_data(*self);
|
let data = db.impl_data(*self);
|
||||||
data.attribute_calls().filter(|(ast_id, _)| ast_id.file_id == file_id).for_each(
|
data.attribute_calls().filter(|(ast_id, _)| ast_id.file_id == file_id).for_each(
|
||||||
|(ast_id, call_id)| {
|
|(ast_id, call_id)| {
|
||||||
let item = ast_id.with_value(ast_id.to_node(db.upcast()));
|
res[keys::ATTR_MACRO_CALL].insert(ast_id.to_node(db.upcast()), call_id);
|
||||||
res[keys::ATTR_MACRO_CALL].insert(item, call_id);
|
|
||||||
},
|
},
|
||||||
);
|
);
|
||||||
data.items.iter().for_each(|&item| {
|
data.items.iter().for_each(|&item| {
|
||||||
child_by_source_assoc_items(db, res, file_id, item);
|
add_assoc_item(db, res, file_id, item);
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn child_by_source_assoc_items(
|
fn add_assoc_item(db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId, item: AssocItemId) {
|
||||||
db: &dyn DefDatabase,
|
|
||||||
res: &mut DynMap,
|
|
||||||
file_id: HirFileId,
|
|
||||||
item: AssocItemId,
|
|
||||||
) {
|
|
||||||
match item {
|
match item {
|
||||||
AssocItemId::FunctionId(func) => {
|
AssocItemId::FunctionId(func) => {
|
||||||
let loc = func.lookup(db);
|
let loc = func.lookup(db);
|
||||||
if loc.id.file_id() == file_id {
|
if loc.id.file_id() == file_id {
|
||||||
let src = loc.source(db);
|
res[keys::FUNCTION].insert(loc.source(db).value, func)
|
||||||
res[keys::FUNCTION].insert(src, func)
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
AssocItemId::ConstId(konst) => {
|
AssocItemId::ConstId(konst) => {
|
||||||
let loc = konst.lookup(db);
|
let loc = konst.lookup(db);
|
||||||
if loc.id.file_id() == file_id {
|
if loc.id.file_id() == file_id {
|
||||||
let src = loc.source(db);
|
res[keys::CONST].insert(loc.source(db).value, konst)
|
||||||
res[keys::CONST].insert(src, konst)
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
AssocItemId::TypeAliasId(ty) => {
|
AssocItemId::TypeAliasId(ty) => {
|
||||||
let loc = ty.lookup(db);
|
let loc = ty.lookup(db);
|
||||||
if loc.id.file_id() == file_id {
|
if loc.id.file_id() == file_id {
|
||||||
let src = loc.source(db);
|
res[keys::TYPE_ALIAS].insert(loc.source(db).value, ty)
|
||||||
res[keys::TYPE_ALIAS].insert(src, ty)
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -99,120 +89,75 @@ impl ChildBySource for ModuleId {
|
||||||
|
|
||||||
impl ChildBySource for ItemScope {
|
impl ChildBySource for ItemScope {
|
||||||
fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
|
fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
|
||||||
self.declarations().for_each(|item| add_module_def(db, file_id, res, item));
|
self.declarations().for_each(|item| add_module_def(db, res, file_id, item));
|
||||||
|
self.impls().for_each(|imp| add_impl(db, res, file_id, imp));
|
||||||
|
self.unnamed_consts().for_each(|konst| {
|
||||||
|
let loc = konst.lookup(db);
|
||||||
|
if loc.id.file_id() == file_id {
|
||||||
|
res[keys::CONST].insert(loc.source(db).value, konst);
|
||||||
|
}
|
||||||
|
});
|
||||||
self.macros().for_each(|(_, makro)| {
|
self.macros().for_each(|(_, makro)| {
|
||||||
let ast_id = makro.ast_id();
|
let ast_id = makro.ast_id();
|
||||||
if ast_id.either(|it| it.file_id, |it| it.file_id) == file_id {
|
if ast_id.either(|it| it.file_id, |it| it.file_id) == file_id {
|
||||||
let src = match ast_id {
|
let src = match ast_id {
|
||||||
Either::Left(ast_id) => ast_id.with_value(ast_id.to_node(db.upcast())),
|
Either::Left(ast_id) => ast_id.to_node(db.upcast()),
|
||||||
// FIXME: Do we need to add proc-macros into a PROCMACRO dynmap here?
|
// FIXME: Do we need to add proc-macros into a PROCMACRO dynmap here?
|
||||||
Either::Right(_fn) => return,
|
Either::Right(_fn) => return,
|
||||||
};
|
};
|
||||||
res[keys::MACRO].insert(src, makro);
|
res[keys::MACRO].insert(src, makro);
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
self.unnamed_consts().for_each(|konst| {
|
self.attr_macro_invocs().filter(|(id, _)| id.file_id == file_id).for_each(
|
||||||
let loc = konst.lookup(db);
|
|(ast_id, call_id)| {
|
||||||
if loc.id.file_id() == file_id {
|
res[keys::ATTR_MACRO_CALL].insert(ast_id.to_node(db.upcast()), call_id);
|
||||||
let src = loc.source(db);
|
},
|
||||||
res[keys::CONST].insert(src, konst);
|
);
|
||||||
}
|
self.derive_macro_invocs().filter(|(id, _)| id.file_id == file_id).for_each(
|
||||||
});
|
|(ast_id, calls)| {
|
||||||
self.impls().for_each(|imp| add_impl(db, file_id, res, imp));
|
let adt = ast_id.to_node(db.upcast());
|
||||||
self.attr_macro_invocs().for_each(|(ast_id, call_id)| {
|
calls.for_each(|(attr_id, calls)| {
|
||||||
if ast_id.file_id == file_id {
|
if let Some(Either::Right(attr)) =
|
||||||
let item = ast_id.with_value(ast_id.to_node(db.upcast()));
|
adt.doc_comments_and_attrs().nth(attr_id.ast_index as usize)
|
||||||
res[keys::ATTR_MACRO_CALL].insert(item, call_id);
|
{
|
||||||
}
|
res[keys::DERIVE_MACRO_CALL].insert(attr, (attr_id, calls.into()));
|
||||||
});
|
}
|
||||||
self.derive_macro_invocs().for_each(|(ast_id, calls)| {
|
});
|
||||||
if ast_id.file_id != file_id {
|
},
|
||||||
return;
|
);
|
||||||
}
|
|
||||||
let adt = ast_id.to_node(db.upcast());
|
|
||||||
for (attr_id, calls) in calls {
|
|
||||||
if let Some(Either::Right(attr)) =
|
|
||||||
adt.doc_comments_and_attrs().nth(attr_id.ast_index as usize)
|
|
||||||
{
|
|
||||||
res[keys::DERIVE_MACRO_CALL]
|
|
||||||
.insert(ast_id.with_value(attr), (attr_id, calls.into()));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
});
|
|
||||||
|
|
||||||
fn add_module_def(
|
fn add_module_def(
|
||||||
db: &dyn DefDatabase,
|
db: &dyn DefDatabase,
|
||||||
file_id: HirFileId,
|
|
||||||
map: &mut DynMap,
|
map: &mut DynMap,
|
||||||
|
file_id: HirFileId,
|
||||||
item: ModuleDefId,
|
item: ModuleDefId,
|
||||||
) {
|
) {
|
||||||
|
macro_rules! insert {
|
||||||
|
($map:ident[$key:path].$insert:ident($id:ident)) => {{
|
||||||
|
let loc = $id.lookup(db);
|
||||||
|
if loc.id.file_id() == file_id {
|
||||||
|
$map[$key].$insert(loc.source(db).value, $id)
|
||||||
|
}
|
||||||
|
}};
|
||||||
|
}
|
||||||
match item {
|
match item {
|
||||||
ModuleDefId::FunctionId(func) => {
|
ModuleDefId::FunctionId(id) => insert!(map[keys::FUNCTION].insert(id)),
|
||||||
let loc = func.lookup(db);
|
ModuleDefId::ConstId(id) => insert!(map[keys::CONST].insert(id)),
|
||||||
if loc.id.file_id() == file_id {
|
ModuleDefId::StaticId(id) => insert!(map[keys::STATIC].insert(id)),
|
||||||
let src = loc.source(db);
|
ModuleDefId::TypeAliasId(id) => insert!(map[keys::TYPE_ALIAS].insert(id)),
|
||||||
map[keys::FUNCTION].insert(src, func)
|
ModuleDefId::TraitId(id) => insert!(map[keys::TRAIT].insert(id)),
|
||||||
}
|
|
||||||
}
|
|
||||||
ModuleDefId::ConstId(konst) => {
|
|
||||||
let loc = konst.lookup(db);
|
|
||||||
if loc.id.file_id() == file_id {
|
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::CONST].insert(src, konst)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
ModuleDefId::StaticId(statik) => {
|
|
||||||
let loc = statik.lookup(db);
|
|
||||||
if loc.id.file_id() == file_id {
|
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::STATIC].insert(src, statik)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
ModuleDefId::TypeAliasId(ty) => {
|
|
||||||
let loc = ty.lookup(db);
|
|
||||||
if loc.id.file_id() == file_id {
|
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::TYPE_ALIAS].insert(src, ty)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
ModuleDefId::TraitId(trait_) => {
|
|
||||||
let loc = trait_.lookup(db);
|
|
||||||
if loc.id.file_id() == file_id {
|
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::TRAIT].insert(src, trait_)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
ModuleDefId::AdtId(adt) => match adt {
|
ModuleDefId::AdtId(adt) => match adt {
|
||||||
AdtId::StructId(strukt) => {
|
AdtId::StructId(id) => insert!(map[keys::STRUCT].insert(id)),
|
||||||
let loc = strukt.lookup(db);
|
AdtId::UnionId(id) => insert!(map[keys::UNION].insert(id)),
|
||||||
if loc.id.file_id() == file_id {
|
AdtId::EnumId(id) => insert!(map[keys::ENUM].insert(id)),
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::STRUCT].insert(src, strukt)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
AdtId::UnionId(union_) => {
|
|
||||||
let loc = union_.lookup(db);
|
|
||||||
if loc.id.file_id() == file_id {
|
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::UNION].insert(src, union_)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
AdtId::EnumId(enum_) => {
|
|
||||||
let loc = enum_.lookup(db);
|
|
||||||
if loc.id.file_id() == file_id {
|
|
||||||
let src = loc.source(db);
|
|
||||||
map[keys::ENUM].insert(src, enum_)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
},
|
},
|
||||||
_ => (),
|
_ => (),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
fn add_impl(db: &dyn DefDatabase, file_id: HirFileId, map: &mut DynMap, imp: ImplId) {
|
fn add_impl(db: &dyn DefDatabase, map: &mut DynMap, file_id: HirFileId, imp: ImplId) {
|
||||||
let loc = imp.lookup(db);
|
let loc = imp.lookup(db);
|
||||||
if loc.id.file_id() == file_id {
|
if loc.id.file_id() == file_id {
|
||||||
let src = loc.source(db);
|
map[keys::IMPL].insert(loc.source(db).value, imp)
|
||||||
map[keys::IMPL].insert(src, imp)
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -226,12 +171,8 @@ impl ChildBySource for VariantId {
|
||||||
for (local_id, source) in arena_map.value.iter() {
|
for (local_id, source) in arena_map.value.iter() {
|
||||||
let id = FieldId { parent, local_id };
|
let id = FieldId { parent, local_id };
|
||||||
match source.clone() {
|
match source.clone() {
|
||||||
Either::Left(source) => {
|
Either::Left(source) => res[keys::TUPLE_FIELD].insert(source, id),
|
||||||
res[keys::TUPLE_FIELD].insert(arena_map.with_value(source), id)
|
Either::Right(source) => res[keys::RECORD_FIELD].insert(source, id),
|
||||||
}
|
|
||||||
Either::Right(source) => {
|
|
||||||
res[keys::RECORD_FIELD].insert(arena_map.with_value(source), id)
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -243,7 +184,7 @@ impl ChildBySource for EnumId {
|
||||||
let arena_map = arena_map.as_ref();
|
let arena_map = arena_map.as_ref();
|
||||||
for (local_id, source) in arena_map.value.iter() {
|
for (local_id, source) in arena_map.value.iter() {
|
||||||
let id = EnumVariantId { parent: *self, local_id };
|
let id = EnumVariantId { parent: *self, local_id };
|
||||||
res[keys::VARIANT].insert(arena_map.with_value(source.clone()), id)
|
res[keys::VARIANT].insert(source.clone(), id)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -454,14 +454,17 @@ impl HasChildSource<LocalConstParamId> for GenericDefId {
|
||||||
}
|
}
|
||||||
|
|
||||||
impl ChildBySource for GenericDefId {
|
impl ChildBySource for GenericDefId {
|
||||||
fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, _: HirFileId) {
|
fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
|
||||||
|
let (gfile_id, generic_params_list) = file_id_and_params_of(*self, db);
|
||||||
|
if gfile_id != file_id {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
let generic_params = db.generic_params(*self);
|
let generic_params = db.generic_params(*self);
|
||||||
let mut types_idx_iter = generic_params.types.iter().map(|(idx, _)| idx);
|
let mut types_idx_iter = generic_params.types.iter().map(|(idx, _)| idx);
|
||||||
let lts_idx_iter = generic_params.lifetimes.iter().map(|(idx, _)| idx);
|
let lts_idx_iter = generic_params.lifetimes.iter().map(|(idx, _)| idx);
|
||||||
let consts_idx_iter = generic_params.consts.iter().map(|(idx, _)| idx);
|
let consts_idx_iter = generic_params.consts.iter().map(|(idx, _)| idx);
|
||||||
|
|
||||||
let (file_id, generic_params_list) = file_id_and_params_of(*self, db);
|
|
||||||
|
|
||||||
// For traits the first type index is `Self`, skip it.
|
// For traits the first type index is `Self`, skip it.
|
||||||
if let GenericDefId::TraitId(_) = *self {
|
if let GenericDefId::TraitId(_) = *self {
|
||||||
types_idx_iter.next().unwrap(); // advance_by(1);
|
types_idx_iter.next().unwrap(); // advance_by(1);
|
||||||
|
@ -470,15 +473,15 @@ impl ChildBySource for GenericDefId {
|
||||||
if let Some(generic_params_list) = generic_params_list {
|
if let Some(generic_params_list) = generic_params_list {
|
||||||
for (local_id, ast_param) in types_idx_iter.zip(generic_params_list.type_params()) {
|
for (local_id, ast_param) in types_idx_iter.zip(generic_params_list.type_params()) {
|
||||||
let id = TypeParamId { parent: *self, local_id };
|
let id = TypeParamId { parent: *self, local_id };
|
||||||
res[keys::TYPE_PARAM].insert(InFile::new(file_id, ast_param), id);
|
res[keys::TYPE_PARAM].insert(ast_param, id);
|
||||||
}
|
}
|
||||||
for (local_id, ast_param) in lts_idx_iter.zip(generic_params_list.lifetime_params()) {
|
for (local_id, ast_param) in lts_idx_iter.zip(generic_params_list.lifetime_params()) {
|
||||||
let id = LifetimeParamId { parent: *self, local_id };
|
let id = LifetimeParamId { parent: *self, local_id };
|
||||||
res[keys::LIFETIME_PARAM].insert(InFile::new(file_id, ast_param), id);
|
res[keys::LIFETIME_PARAM].insert(ast_param, id);
|
||||||
}
|
}
|
||||||
for (local_id, ast_param) in consts_idx_iter.zip(generic_params_list.const_params()) {
|
for (local_id, ast_param) in consts_idx_iter.zip(generic_params_list.const_params()) {
|
||||||
let id = ConstParamId { parent: *self, local_id };
|
let id = ConstParamId { parent: *self, local_id };
|
||||||
res[keys::CONST_PARAM].insert(InFile::new(file_id, ast_param), id);
|
res[keys::CONST_PARAM].insert(ast_param, id);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
use std::marker::PhantomData;
|
use std::marker::PhantomData;
|
||||||
|
|
||||||
use hir_expand::{InFile, MacroCallId, MacroDefId};
|
use hir_expand::{MacroCallId, MacroDefId};
|
||||||
use rustc_hash::FxHashMap;
|
use rustc_hash::FxHashMap;
|
||||||
use syntax::{ast, AstNode, AstPtr};
|
use syntax::{ast, AstNode, AstPtr};
|
||||||
|
|
||||||
|
@ -13,7 +13,7 @@ use crate::{
|
||||||
StaticId, StructId, TraitId, TypeAliasId, TypeParamId, UnionId,
|
StaticId, StructId, TraitId, TypeAliasId, TypeParamId, UnionId,
|
||||||
};
|
};
|
||||||
|
|
||||||
pub type Key<K, V> = crate::dyn_map::Key<InFile<K>, V, AstPtrPolicy<K, V>>;
|
pub type Key<K, V> = crate::dyn_map::Key<K, V, AstPtrPolicy<K, V>>;
|
||||||
|
|
||||||
pub const FUNCTION: Key<ast::Fn, FunctionId> = Key::new();
|
pub const FUNCTION: Key<ast::Fn, FunctionId> = Key::new();
|
||||||
pub const CONST: Key<ast::Const, ConstId> = Key::new();
|
pub const CONST: Key<ast::Const, ConstId> = Key::new();
|
||||||
|
@ -47,17 +47,17 @@ pub struct AstPtrPolicy<AST, ID> {
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<AST: AstNode + 'static, ID: 'static> Policy for AstPtrPolicy<AST, ID> {
|
impl<AST: AstNode + 'static, ID: 'static> Policy for AstPtrPolicy<AST, ID> {
|
||||||
type K = InFile<AST>;
|
type K = AST;
|
||||||
type V = ID;
|
type V = ID;
|
||||||
fn insert(map: &mut DynMap, key: InFile<AST>, value: ID) {
|
fn insert(map: &mut DynMap, key: AST, value: ID) {
|
||||||
let key = key.as_ref().map(AstPtr::new);
|
let key = AstPtr::new(&key);
|
||||||
map.map
|
map.map
|
||||||
.entry::<FxHashMap<InFile<AstPtr<AST>>, ID>>()
|
.entry::<FxHashMap<AstPtr<AST>, ID>>()
|
||||||
.or_insert_with(Default::default)
|
.or_insert_with(Default::default)
|
||||||
.insert(key, value);
|
.insert(key, value);
|
||||||
}
|
}
|
||||||
fn get<'a>(map: &'a DynMap, key: &InFile<AST>) -> Option<&'a ID> {
|
fn get<'a>(map: &'a DynMap, key: &AST) -> Option<&'a ID> {
|
||||||
let key = key.as_ref().map(AstPtr::new);
|
let key = AstPtr::new(key);
|
||||||
map.map.get::<FxHashMap<InFile<AstPtr<AST>>, ID>>()?.get(&key)
|
map.map.get::<FxHashMap<AstPtr<AST>, ID>>()?.get(&key)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue