diff options
author | Florian Diebold <[email protected]> | 2021-04-09 13:15:26 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-09 13:15:26 +0100 |
commit | 5ca481bbdc75bd3a9dbce4c94b014bd0eb8bd9e8 (patch) | |
tree | bff5670807fd0cd9ce5d5f6ffaedf0c90ca02c51 /crates/hir_ty/src/db.rs | |
parent | 743faa21e74cc5b627935e2c4c3365807a5c722f (diff) |
Move ToChalk -> mapping
Diffstat (limited to 'crates/hir_ty/src/db.rs')
-rw-r--r-- | crates/hir_ty/src/db.rs | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/crates/hir_ty/src/db.rs b/crates/hir_ty/src/db.rs index ea0580df1..e11fc579e 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs | |||
@@ -9,7 +9,12 @@ use hir_def::{ | |||
9 | }; | 9 | }; |
10 | use la_arena::ArenaMap; | 10 | use la_arena::ArenaMap; |
11 | 11 | ||
12 | use crate::{Binders, CallableDefId, FnDefId, ImplTraitId, InferenceResult, Interner, PolyFnSig, QuantifiedWhereClause, ReturnTypeImplTraits, TraitRef, Ty, TyDefId, ValueTyDefId, chalk_db, method_resolution::{InherentImpls, TraitImpls}}; | 12 | use crate::{ |
13 | chalk_db, | ||
14 | method_resolution::{InherentImpls, TraitImpls}, | ||
15 | Binders, CallableDefId, FnDefId, ImplTraitId, InferenceResult, Interner, PolyFnSig, | ||
16 | QuantifiedWhereClause, ReturnTypeImplTraits, TraitRef, Ty, TyDefId, ValueTyDefId, | ||
17 | }; | ||
13 | use hir_expand::name::Name; | 18 | use hir_expand::name::Name; |
14 | 19 | ||
15 | #[salsa::query_group(HirDatabaseStorage)] | 20 | #[salsa::query_group(HirDatabaseStorage)] |
@@ -93,10 +98,15 @@ pub trait HirDatabase: DefDatabase + Upcast<dyn DefDatabase> { | |||
93 | fn associated_ty_data(&self, id: chalk_db::AssocTypeId) -> Arc<chalk_db::AssociatedTyDatum>; | 98 | fn associated_ty_data(&self, id: chalk_db::AssocTypeId) -> Arc<chalk_db::AssociatedTyDatum>; |
94 | 99 | ||
95 | #[salsa::invoke(chalk_db::trait_datum_query)] | 100 | #[salsa::invoke(chalk_db::trait_datum_query)] |
96 | fn trait_datum(&self, krate: CrateId, trait_id: chalk_db::TraitId) -> Arc<chalk_db::TraitDatum>; | 101 | fn trait_datum(&self, krate: CrateId, trait_id: chalk_db::TraitId) |
102 | -> Arc<chalk_db::TraitDatum>; | ||
97 | 103 | ||
98 | #[salsa::invoke(chalk_db::struct_datum_query)] | 104 | #[salsa::invoke(chalk_db::struct_datum_query)] |
99 | fn struct_datum(&self, krate: CrateId, struct_id: chalk_db::AdtId) -> Arc<chalk_db::StructDatum>; | 105 | fn struct_datum( |
106 | &self, | ||
107 | krate: CrateId, | ||
108 | struct_id: chalk_db::AdtId, | ||
109 | ) -> Arc<chalk_db::StructDatum>; | ||
100 | 110 | ||
101 | #[salsa::invoke(chalk_db::impl_datum_query)] | 111 | #[salsa::invoke(chalk_db::impl_datum_query)] |
102 | fn impl_datum(&self, krate: CrateId, impl_id: chalk_db::ImplId) -> Arc<chalk_db::ImplDatum>; | 112 | fn impl_datum(&self, krate: CrateId, impl_id: chalk_db::ImplId) -> Arc<chalk_db::ImplDatum>; |