From 9fbba7bc45ec6bea9468931d9d9fdd0141826f0a Mon Sep 17 00:00:00 2001 From: Lukas Wirth Date: Tue, 6 Apr 2021 11:45:41 +0200 Subject: Add chalk_ir::Const to TyKind::Array --- crates/hir_ty/src/db.rs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'crates/hir_ty/src/db.rs') diff --git a/crates/hir_ty/src/db.rs b/crates/hir_ty/src/db.rs index 07510ae02..326c20240 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs @@ -88,6 +88,8 @@ pub trait HirDatabase: DefDatabase + Upcast { #[salsa::interned] fn intern_lifetime_param_id(&self, param_id: LifetimeParamId) -> InternedLifetimeParamId; #[salsa::interned] + fn intern_const_param_id(&self, param_id: ConstParamId) -> InternedConstParamId; + #[salsa::interned] fn intern_impl_trait_id(&self, id: ImplTraitId) -> InternedOpaqueTyId; #[salsa::interned] fn intern_closure(&self, id: (DefWithBodyId, ExprId)) -> InternedClosureId; @@ -161,6 +163,10 @@ impl_intern_key!(InternedTypeParamId); pub struct InternedLifetimeParamId(salsa::InternId); impl_intern_key!(InternedLifetimeParamId); +#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] +pub struct InternedConstParamId(salsa::InternId); +impl_intern_key!(InternedConstParamId); + #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] pub struct InternedOpaqueTyId(salsa::InternId); impl_intern_key!(InternedOpaqueTyId); -- cgit v1.2.3