diff options
author | Florian Diebold <[email protected]> | 2021-03-13 18:27:09 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-03-13 18:27:09 +0000 |
commit | 2d69eb131f58dee1bc188b8df8d5cf0ebf9d97f2 (patch) | |
tree | b22507ea0b79fcd5d38dcf5ae8b731467a38cc41 /crates/hir_ty/src/db.rs | |
parent | be7a31fbd64943f71afe11b0413c99496526dddc (diff) |
Use chalk_ir::ClosureId
Diffstat (limited to 'crates/hir_ty/src/db.rs')
-rw-r--r-- | crates/hir_ty/src/db.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/hir_ty/src/db.rs b/crates/hir_ty/src/db.rs index a038674cf..1b59616ba 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs | |||
@@ -85,7 +85,7 @@ pub trait HirDatabase: DefDatabase + Upcast<dyn DefDatabase> { | |||
85 | #[salsa::interned] | 85 | #[salsa::interned] |
86 | fn intern_impl_trait_id(&self, id: OpaqueTyId) -> InternedOpaqueTyId; | 86 | fn intern_impl_trait_id(&self, id: OpaqueTyId) -> InternedOpaqueTyId; |
87 | #[salsa::interned] | 87 | #[salsa::interned] |
88 | fn intern_closure(&self, id: (DefWithBodyId, ExprId)) -> ClosureId; | 88 | fn intern_closure(&self, id: (DefWithBodyId, ExprId)) -> InternedClosureId; |
89 | 89 | ||
90 | #[salsa::invoke(chalk::associated_ty_data_query)] | 90 | #[salsa::invoke(chalk::associated_ty_data_query)] |
91 | fn associated_ty_data(&self, id: chalk::AssocTypeId) -> Arc<chalk::AssociatedTyDatum>; | 91 | fn associated_ty_data(&self, id: chalk::AssocTypeId) -> Arc<chalk::AssociatedTyDatum>; |
@@ -157,8 +157,8 @@ pub struct InternedOpaqueTyId(salsa::InternId); | |||
157 | impl_intern_key!(InternedOpaqueTyId); | 157 | impl_intern_key!(InternedOpaqueTyId); |
158 | 158 | ||
159 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] | 159 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] |
160 | pub struct ClosureId(salsa::InternId); | 160 | pub struct InternedClosureId(salsa::InternId); |
161 | impl_intern_key!(ClosureId); | 161 | impl_intern_key!(InternedClosureId); |
162 | 162 | ||
163 | /// This exists just for Chalk, because Chalk just has a single `FnDefId` where | 163 | /// This exists just for Chalk, because Chalk just has a single `FnDefId` where |
164 | /// we have different IDs for struct and enum variant constructors. | 164 | /// we have different IDs for struct and enum variant constructors. |