bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/def_id.rs')
-rw-r--r--crates/hir-ty/src/next_solver/def_id.rs34
1 files changed, 32 insertions, 2 deletions
diff --git a/crates/hir-ty/src/next_solver/def_id.rs b/crates/hir-ty/src/next_solver/def_id.rs
index 1ae59beca2..789be3b731 100644
--- a/crates/hir-ty/src/next_solver/def_id.rs
+++ b/crates/hir-ty/src/next_solver/def_id.rs
@@ -1,8 +1,8 @@
//! Definition of `SolverDefId`
use hir_def::{
- AdtId, CallableDefId, ConstId, EnumId, EnumVariantId, FunctionId, GenericDefId, ImplId,
- StaticId, StructId, TraitId, TypeAliasId, UnionId,
+ AdtId, CallableDefId, ConstId, EnumId, EnumVariantId, FunctionId, GeneralConstId, GenericDefId,
+ ImplId, StaticId, StructId, TraitId, TypeAliasId, UnionId,
};
use rustc_type_ir::inherent;
use stdx::impl_from;
@@ -119,6 +119,16 @@ impl From<GenericDefId> for SolverDefId {
}
}
+impl From<GeneralConstId> for SolverDefId {
+ #[inline]
+ fn from(value: GeneralConstId) -> Self {
+ match value {
+ GeneralConstId::ConstId(const_id) => SolverDefId::ConstId(const_id),
+ GeneralConstId::StaticId(static_id) => SolverDefId::StaticId(static_id),
+ }
+ }
+}
+
impl TryFrom<SolverDefId> for GenericDefId {
type Error = SolverDefId;
@@ -139,6 +149,26 @@ impl TryFrom<SolverDefId> for GenericDefId {
}
}
+impl SolverDefId {
+ #[inline]
+ #[track_caller]
+ pub fn expect_opaque_ty(self) -> InternedOpaqueTyId {
+ match self {
+ SolverDefId::InternedOpaqueTyId(it) => it,
+ _ => panic!("expected opaque type, found {self:?}"),
+ }
+ }
+
+ #[inline]
+ #[track_caller]
+ pub fn expect_type_alias(self) -> TypeAliasId {
+ match self {
+ SolverDefId::TypeAliasId(it) => it,
+ _ => panic!("expected type alias, found {self:?}"),
+ }
+ }
+}
+
impl<'db> inherent::DefId<DbInterner<'db>> for SolverDefId {
fn as_local(self) -> Option<SolverDefId> {
Some(self)