aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/db.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-09 13:15:26 +0100
committerFlorian Diebold <[email protected]>2021-04-09 13:15:26 +0100
commit5ca481bbdc75bd3a9dbce4c94b014bd0eb8bd9e8 (patch)
treebff5670807fd0cd9ce5d5f6ffaedf0c90ca02c51 /crates/hir_ty/src/db.rs
parent743faa21e74cc5b627935e2c4c3365807a5c722f (diff)
Move ToChalk -> mapping
Diffstat (limited to 'crates/hir_ty/src/db.rs')
-rw-r--r--crates/hir_ty/src/db.rs16
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};
10use la_arena::ArenaMap; 10use la_arena::ArenaMap;
11 11
12use crate::{Binders, CallableDefId, FnDefId, ImplTraitId, InferenceResult, Interner, PolyFnSig, QuantifiedWhereClause, ReturnTypeImplTraits, TraitRef, Ty, TyDefId, ValueTyDefId, chalk_db, method_resolution::{InherentImpls, TraitImpls}}; 12use 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};
13use hir_expand::name::Name; 18use 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>;