itsscb/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-01 11:31:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

TypeNs contain module

Browse Source 
Signed-off-by: Hayashi Mikihiro <34ttrweoewiwe28@gmail.com>
This commit is contained in:
Hayashi Mikihiro 2025-03-28 17:51:27 +09:00
parent a7dc60a2c4
commit 1b471ebfd5
5 changed files with 71 additions and 88 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

75
crates/hir-def/src/resolver.rs
View File

@ -102,15 +102,8 @@ pub enum TypeNs {
BuiltinType(BuiltinType), BuiltinType(BuiltinType),
TraitId(TraitId), TraitId(TraitId),
TraitAliasId(TraitAliasId), TraitAliasId(TraitAliasId),
// Module belong to type ns, but the resolver is used when all module paths
// are fully resolved.
// ModuleId(ModuleId)
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] ModuleId(ModuleId),
pub enum ModuleOrTypeNs {
ModuleNs(ModuleId),
TypeNs(TypeNs),
} }
#[derive(Debug, Clone, PartialEq, Eq, Hash)] #[derive(Debug, Clone, PartialEq, Eq, Hash)]
@ -173,7 +166,7 @@ impl Resolver {
&self, &self,
db: &dyn DefDatabase, db: &dyn DefDatabase,
path: &Path, path: &Path,
) -> Option<(ModuleOrTypeNs, Option<usize>, Option<ImportOrExternCrate>)> { ) -> Option<(TypeNs, Option<usize>, Option<ImportOrExternCrate>)> {
self.resolve_path_in_type_ns_with_prefix_info(db, path).map( self.resolve_path_in_type_ns_with_prefix_info(db, path).map(
|(resolution, remaining_segments, import, _)| (resolution, remaining_segments, import), |(resolution, remaining_segments, import, _)| (resolution, remaining_segments, import),
) )
@ -183,12 +176,8 @@ impl Resolver {
&self, &self,
db: &dyn DefDatabase, db: &dyn DefDatabase,
path: &Path, path: &Path,
) -> Option<( ) -> Option<(TypeNs, Option<usize>, Option<ImportOrExternCrate>, ResolvePathResultPrefixInfo)>
ModuleOrTypeNs, {
Option<usize>,
Option<ImportOrExternCrate>,
ResolvePathResultPrefixInfo,
)> {
let path = match path { let path = match path {
Path::BarePath(mod_path) => mod_path, Path::BarePath(mod_path) => mod_path,
Path::Normal(it) => &it.mod_path, Path::Normal(it) => &it.mod_path,
@ -205,7 +194,7 @@ impl Resolver {
| LangItemTarget::Static(_) => return None, | LangItemTarget::Static(_) => return None,
}; };
return Some(( return Some((
ModuleOrTypeNs::TypeNs(type_ns), type_ns,
seg.as_ref().map(|_| 1), seg.as_ref().map(|_| 1),
None, None,
ResolvePathResultPrefixInfo::default(), ResolvePathResultPrefixInfo::default(),
@ -215,7 +204,7 @@ impl Resolver {
let first_name = path.segments().first()?; let first_name = path.segments().first()?;
let skip_to_mod = path.kind != PathKind::Plain; let skip_to_mod = path.kind != PathKind::Plain;
if skip_to_mod { if skip_to_mod {
return self.module_scope.resolve_path_in_module_or_type_ns(db, path); return self.module_scope.resolve_path_in_type_ns(db, path);
} }
let remaining_idx = || { let remaining_idx = || {
@ -228,7 +217,7 @@ impl Resolver {
Scope::GenericParams { params, def } => { Scope::GenericParams { params, def } => {
if let Some(id) = params.find_type_by_name(first_name, *def) { if let Some(id) = params.find_type_by_name(first_name, *def) {
return Some(( return Some((
ModuleOrTypeNs::TypeNs(TypeNs::GenericParam(id)), TypeNs::GenericParam(id),
remaining_idx(), remaining_idx(),
None, None,
ResolvePathResultPrefixInfo::default(), ResolvePathResultPrefixInfo::default(),
@ -238,7 +227,7 @@ impl Resolver {
&Scope::ImplDefScope(impl_) => { &Scope::ImplDefScope(impl_) => {
if *first_name == sym::Self_.clone() { if *first_name == sym::Self_.clone() {
return Some(( return Some((
ModuleOrTypeNs::TypeNs(TypeNs::SelfType(impl_)), TypeNs::SelfType(impl_),
remaining_idx(), remaining_idx(),
None, None,
ResolvePathResultPrefixInfo::default(), ResolvePathResultPrefixInfo::default(),
@ -248,7 +237,7 @@ impl Resolver {
&Scope::AdtScope(adt) => { &Scope::AdtScope(adt) => {
if *first_name == sym::Self_.clone() { if *first_name == sym::Self_.clone() {
return Some(( return Some((
ModuleOrTypeNs::TypeNs(TypeNs::AdtSelfType(adt)), TypeNs::AdtSelfType(adt),
remaining_idx(), remaining_idx(),
None, None,
ResolvePathResultPrefixInfo::default(), ResolvePathResultPrefixInfo::default(),
@ -256,16 +245,15 @@ impl Resolver {
} }
} }
Scope::BlockScope(m) => { Scope::BlockScope(m) => {
if let Some(res) = m.resolve_path_in_module_or_type_ns(db, path) { if let Some(res) = m.resolve_path_in_type_ns(db, path) {
let res = match res.0 { let res = match res.0 {
ModuleOrTypeNs::TypeNs(_) => res, TypeNs::ModuleId(_) => {
ModuleOrTypeNs::ModuleNs(_) => {
if let Some(ModuleDefId::BuiltinType(builtin)) = BUILTIN_SCOPE if let Some(ModuleDefId::BuiltinType(builtin)) = BUILTIN_SCOPE
.get(first_name) .get(first_name)
.and_then(|builtin| builtin.take_types()) .and_then(|builtin| builtin.take_types())
{ {
( (
ModuleOrTypeNs::TypeNs(TypeNs::BuiltinType(builtin)), TypeNs::BuiltinType(builtin),
remaining_idx(), remaining_idx(),
None, None,
ResolvePathResultPrefixInfo::default(), ResolvePathResultPrefixInfo::default(),
@ -274,13 +262,14 @@ impl Resolver {
res res
} }
} }
_ => res,
}; };
return Some(res); return Some(res);
} }
} }
} }
} }
self.module_scope.resolve_path_in_module_or_type_ns(db, path) self.module_scope.resolve_path_in_type_ns(db, path)
} }
pub fn resolve_path_in_type_ns_fully( pub fn resolve_path_in_type_ns_fully(
@ -288,11 +277,11 @@ impl Resolver {
db: &dyn DefDatabase, db: &dyn DefDatabase,
path: &Path, path: &Path,
) -> Option<TypeNs> { ) -> Option<TypeNs> {
if let (ModuleOrTypeNs::TypeNs(res), None, _) = self.resolve_path_in_type_ns(db, path)? { let (res, unresolved, _) = self.resolve_path_in_type_ns(db, path)?;
Some(res) if unresolved.is_some() {
} else { return None;
None
} }
Some(res)
} }
pub fn resolve_visibility( pub fn resolve_visibility(
@ -1182,16 +1171,12 @@ impl ModuleItemMap {
} }
} }
fn resolve_path_in_module_or_type_ns( fn resolve_path_in_type_ns(
&self, &self,
db: &dyn DefDatabase, db: &dyn DefDatabase,
path: &ModPath, path: &ModPath,
) -> Option<( ) -> Option<(TypeNs, Option<usize>, Option<ImportOrExternCrate>, ResolvePathResultPrefixInfo)>
ModuleOrTypeNs, {
Option<usize>,
Option<ImportOrExternCrate>,
ResolvePathResultPrefixInfo,
)> {
let (module_def, idx, prefix_info) = self.def_map.resolve_path_locally( let (module_def, idx, prefix_info) = self.def_map.resolve_path_locally(
&self.local_def_map, &self.local_def_map,
db, db,
@ -1199,7 +1184,7 @@ impl ModuleItemMap {
path, path,
BuiltinShadowMode::Other, BuiltinShadowMode::Other,
); );
let (res, import) = to_module_or_type_ns(module_def)?; let (res, import) = to_type_ns(module_def)?;
Some((res, idx, import, prefix_info)) Some((res, idx, import, prefix_info))
} }
} }
@ -1224,19 +1209,19 @@ fn to_value_ns(per_ns: PerNs) -> Option<(ValueNs, Option<ImportOrGlob>)> {
Some((res, import)) Some((res, import))
} }
fn to_module_or_type_ns(per_ns: PerNs) -> Option<(ModuleOrTypeNs, Option<ImportOrExternCrate>)> { fn to_type_ns(per_ns: PerNs) -> Option<(TypeNs, Option<ImportOrExternCrate>)> {
let def = per_ns.take_types_full()?; let def = per_ns.take_types_full()?;
let res = match def.def { let res = match def.def {
ModuleDefId::AdtId(it) => ModuleOrTypeNs::TypeNs(TypeNs::AdtId(it)), ModuleDefId::AdtId(it) => TypeNs::AdtId(it),
ModuleDefId::EnumVariantId(it) => ModuleOrTypeNs::TypeNs(TypeNs::EnumVariantId(it)), ModuleDefId::EnumVariantId(it) => TypeNs::EnumVariantId(it),
ModuleDefId::TypeAliasId(it) => ModuleOrTypeNs::TypeNs(TypeNs::TypeAliasId(it)), ModuleDefId::TypeAliasId(it) => TypeNs::TypeAliasId(it),
ModuleDefId::BuiltinType(it) => ModuleOrTypeNs::TypeNs(TypeNs::BuiltinType(it)), ModuleDefId::BuiltinType(it) => TypeNs::BuiltinType(it),
ModuleDefId::TraitId(it) => ModuleOrTypeNs::TypeNs(TypeNs::TraitId(it)), ModuleDefId::TraitId(it) => TypeNs::TraitId(it),
ModuleDefId::TraitAliasId(it) => ModuleOrTypeNs::TypeNs(TypeNs::TraitAliasId(it)), ModuleDefId::TraitAliasId(it) => TypeNs::TraitAliasId(it),
ModuleDefId::ModuleId(it) => ModuleOrTypeNs::ModuleNs(it), ModuleDefId::ModuleId(it) => TypeNs::ModuleId(it),
ModuleDefId::FunctionId(_) ModuleDefId::FunctionId(_)
| ModuleDefId::ConstId(_) | ModuleDefId::ConstId(_)

3
crates/hir-ty/src/infer.rs
View File

@ -1648,7 +1648,8 @@ impl<'a> InferenceContext<'a> {
TypeNs::AdtId(AdtId::EnumId(_)) TypeNs::AdtId(AdtId::EnumId(_))
| TypeNs::BuiltinType(_) | TypeNs::BuiltinType(_)
| TypeNs::TraitId(_) | TypeNs::TraitId(_)
| TypeNs::TraitAliasId(_) => { | TypeNs::TraitAliasId(_)
| TypeNs::ModuleId(_) => {
// FIXME diagnostic // FIXME diagnostic
(self.err_ty(), None) (self.err_ty(), None)
} }

13
crates/hir-ty/src/lower/path.rs
View File

@ -10,7 +10,7 @@ use hir_def::{
expr_store::HygieneId, expr_store::HygieneId,
generics::{TypeParamProvenance, WherePredicate, WherePredicateTypeTarget}, generics::{TypeParamProvenance, WherePredicate, WherePredicateTypeTarget},
path::{GenericArg, GenericArgs, GenericArgsParentheses, Path, PathSegment, PathSegments}, path::{GenericArg, GenericArgs, GenericArgsParentheses, Path, PathSegment, PathSegments},
resolver::{ModuleOrTypeNs, ResolveValueResult, TypeNs, ValueNs}, resolver::{ResolveValueResult, TypeNs, ValueNs},
type_ref::{TypeBound, TypeRef, TypesMap}, type_ref::{TypeBound, TypeRef, TypesMap},
}; };
use smallvec::SmallVec; use smallvec::SmallVec;
@ -285,7 +285,9 @@ impl<'a, 'b> PathLoweringContext<'a, 'b> {
TypeNs::BuiltinType(it) => self.lower_path_inner(it.into(), infer_args), TypeNs::BuiltinType(it) => self.lower_path_inner(it.into(), infer_args),
TypeNs::TypeAliasId(it) => self.lower_path_inner(it.into(), infer_args), TypeNs::TypeAliasId(it) => self.lower_path_inner(it.into(), infer_args),
// FIXME: report error // FIXME: report error
TypeNs::EnumVariantId(_) => return (TyKind::Error.intern(Interner), None), TypeNs::EnumVariantId(_) | TypeNs::ModuleId(_) => {
return (TyKind::Error.intern(Interner), None);
}
}; };
self.skip_resolved_segment(); self.skip_resolved_segment();
@ -316,6 +318,9 @@ impl<'a, 'b> PathLoweringContext<'a, 'b> {
TypeNs::BuiltinType(_) => { TypeNs::BuiltinType(_) => {
prohibit_generics_on_resolved(GenericArgsProhibitedReason::PrimitiveTy) prohibit_generics_on_resolved(GenericArgsProhibitedReason::PrimitiveTy)
} }
TypeNs::ModuleId(_) => {
prohibit_generics_on_resolved(GenericArgsProhibitedReason::Module)
}
TypeNs::AdtId(_) TypeNs::AdtId(_)
| TypeNs::EnumVariantId(_) | TypeNs::EnumVariantId(_)
| TypeNs::TypeAliasId(_) | TypeNs::TypeAliasId(_)
@ -338,10 +343,6 @@ impl<'a, 'b> PathLoweringContext<'a, 'b> {
.resolver .resolver
.resolve_path_in_type_ns_with_prefix_info(self.ctx.db.upcast(), self.path)?; .resolve_path_in_type_ns_with_prefix_info(self.ctx.db.upcast(), self.path)?;
let ModuleOrTypeNs::TypeNs(resolution) = resolution else {
return None;
};
let segments = self.segments; let segments = self.segments;
if segments.is_empty() || matches!(self.path, Path::LangItem(..)) { if segments.is_empty() || matches!(self.path, Path::LangItem(..)) {
// `segments.is_empty()` can occur with `self`. // `segments.is_empty()` can occur with `self`.

3
crates/hir/src/attrs.rs
View File

@ -207,6 +207,9 @@ fn resolve_assoc_or_field(
// XXX: Do these get resolved? // XXX: Do these get resolved?
return None; return None;
} }
TypeNs::ModuleId(_) => {
return None;
}
}; };
// Resolve inherent items first, then trait items, then fields. // Resolve inherent items first, then trait items, then fields.

65
crates/hir/src/source_analyzer.rs
View File

@ -25,7 +25,7 @@ use hir_def::{
lower::LowerCtx, lower::LowerCtx,
nameres::MacroSubNs, nameres::MacroSubNs,
path::{ModPath, Path, PathKind}, path::{ModPath, Path, PathKind},
resolver::{ModuleOrTypeNs, Resolver, TypeNs, ValueNs, resolver_for_scope}, resolver::{Resolver, TypeNs, ValueNs, resolver_for_scope},
type_ref::{Mutability, TypesMap, TypesSourceMap}, type_ref::{Mutability, TypesMap, TypesSourceMap},
}; };
use hir_expand::{ use hir_expand::{
@ -1384,7 +1384,7 @@ fn resolve_hir_path_(
resolver.type_owner(), resolver.type_owner(),
) )
.lower_ty_ext(type_ref); .lower_ty_ext(type_ref);
res.map(|ty_ns| (ModuleOrTypeNs::TypeNs(ty_ns), path.segments().first())) res.map(|ty_ns| (ty_ns, path.segments().first()))
} }
None => { None => {
let (ty, remaining_idx, _) = resolver.resolve_path_in_type_ns(db.upcast(), path)?; let (ty, remaining_idx, _) = resolver.resolve_path_in_type_ns(db.upcast(), path)?;
@ -1403,30 +1403,26 @@ fn resolve_hir_path_(
// If we are in a TypeNs for a Trait, and we have an unresolved name, try to resolve it as a type // If we are in a TypeNs for a Trait, and we have an unresolved name, try to resolve it as a type
// within the trait's associated types. // within the trait's associated types.
if let (Some(unresolved), ModuleOrTypeNs::TypeNs(TypeNs::TraitId(trait_id))) = if let (Some(unresolved), &TypeNs::TraitId(trait_id)) = (&unresolved, &ty) {
(&unresolved, &ty)
{
if let Some(type_alias_id) = if let Some(type_alias_id) =
db.trait_items(*trait_id).associated_type_by_name(unresolved.name) db.trait_items(trait_id).associated_type_by_name(unresolved.name)
{ {
return Some(PathResolution::Def(ModuleDefId::from(type_alias_id).into())); return Some(PathResolution::Def(ModuleDefId::from(type_alias_id).into()));
} }
} }
let res = match ty { let res = match ty {
ModuleOrTypeNs::TypeNs(ty) => match ty { TypeNs::SelfType(it) => PathResolution::SelfType(it.into()),
TypeNs::SelfType(it) => PathResolution::SelfType(it.into()), TypeNs::GenericParam(id) => PathResolution::TypeParam(id.into()),
TypeNs::GenericParam(id) => PathResolution::TypeParam(id.into()), TypeNs::AdtSelfType(it) | TypeNs::AdtId(it) => {
TypeNs::AdtSelfType(it) | TypeNs::AdtId(it) => { PathResolution::Def(Adt::from(it).into())
PathResolution::Def(Adt::from(it).into()) }
} TypeNs::EnumVariantId(it) => PathResolution::Def(Variant::from(it).into()),
TypeNs::EnumVariantId(it) => PathResolution::Def(Variant::from(it).into()), TypeNs::TypeAliasId(it) => PathResolution::Def(TypeAlias::from(it).into()),
TypeNs::TypeAliasId(it) => PathResolution::Def(TypeAlias::from(it).into()), TypeNs::BuiltinType(it) => PathResolution::Def(BuiltinType::from(it).into()),
TypeNs::BuiltinType(it) => PathResolution::Def(BuiltinType::from(it).into()), TypeNs::TraitId(it) => PathResolution::Def(Trait::from(it).into()),
TypeNs::TraitId(it) => PathResolution::Def(Trait::from(it).into()), TypeNs::TraitAliasId(it) => PathResolution::Def(TraitAlias::from(it).into()),
TypeNs::TraitAliasId(it) => PathResolution::Def(TraitAlias::from(it).into()), TypeNs::ModuleId(it) => PathResolution::Def(ModuleDef::Module(it.into())),
},
ModuleOrTypeNs::ModuleNs(it) => PathResolution::Def(ModuleDef::Module(it.into())),
}; };
match unresolved { match unresolved {
Some(unresolved) => resolver Some(unresolved) => resolver
@ -1522,7 +1518,7 @@ fn resolve_hir_path_qualifier(
resolver.type_owner(), resolver.type_owner(),
) )
.lower_ty_ext(type_ref); .lower_ty_ext(type_ref);
res.map(|ty_ns| (ModuleOrTypeNs::TypeNs(ty_ns), path.segments().first())) res.map(|ty_ns| (ty_ns, path.segments().first()))
} }
None => { None => {
let (ty, remaining_idx, _) = resolver.resolve_path_in_type_ns(db.upcast(), path)?; let (ty, remaining_idx, _) = resolver.resolve_path_in_type_ns(db.upcast(), path)?;
@ -1541,29 +1537,26 @@ fn resolve_hir_path_qualifier(
// If we are in a TypeNs for a Trait, and we have an unresolved name, try to resolve it as a type // If we are in a TypeNs for a Trait, and we have an unresolved name, try to resolve it as a type
// within the trait's associated types. // within the trait's associated types.
if let (Some(unresolved), &ModuleOrTypeNs::TypeNs(TypeNs::TraitId(trait_id))) = if let (Some(unresolved), &TypeNs::TraitId(trait_id)) = (&unresolved, &ty) {
(&unresolved, &ty)
{
if let Some(type_alias_id) = if let Some(type_alias_id) =
db.trait_items(trait_id).associated_type_by_name(unresolved.name) db.trait_items(trait_id).associated_type_by_name(unresolved.name)
{ {
return Some(PathResolution::Def(ModuleDefId::from(type_alias_id).into())); return Some(PathResolution::Def(ModuleDefId::from(type_alias_id).into()));
} }
} }
let res = match ty { let res = match ty {
ModuleOrTypeNs::TypeNs(ty) => match ty { TypeNs::SelfType(it) => PathResolution::SelfType(it.into()),
TypeNs::SelfType(it) => PathResolution::SelfType(it.into()), TypeNs::GenericParam(id) => PathResolution::TypeParam(id.into()),
TypeNs::GenericParam(id) => PathResolution::TypeParam(id.into()), TypeNs::AdtSelfType(it) | TypeNs::AdtId(it) => {
TypeNs::AdtSelfType(it) | TypeNs::AdtId(it) => { PathResolution::Def(Adt::from(it).into())
PathResolution::Def(Adt::from(it).into()) }
} TypeNs::EnumVariantId(it) => PathResolution::Def(Variant::from(it).into()),
TypeNs::EnumVariantId(it) => PathResolution::Def(Variant::from(it).into()), TypeNs::TypeAliasId(it) => PathResolution::Def(TypeAlias::from(it).into()),
TypeNs::TypeAliasId(it) => PathResolution::Def(TypeAlias::from(it).into()), TypeNs::BuiltinType(it) => PathResolution::Def(BuiltinType::from(it).into()),
TypeNs::BuiltinType(it) => PathResolution::Def(BuiltinType::from(it).into()), TypeNs::TraitId(it) => PathResolution::Def(Trait::from(it).into()),
TypeNs::TraitId(it) => PathResolution::Def(Trait::from(it).into()), TypeNs::TraitAliasId(it) => PathResolution::Def(TraitAlias::from(it).into()),
TypeNs::TraitAliasId(it) => PathResolution::Def(TraitAlias::from(it).into()), TypeNs::ModuleId(it) => PathResolution::Def(ModuleDef::Module(it.into())),
},
ModuleOrTypeNs::ModuleNs(it) => PathResolution::Def(ModuleDef::Module(it.into())),
}; };
match unresolved { match unresolved {
Some(unresolved) => resolver Some(unresolved) => resolver