From 5ca481bbdc75bd3a9dbce4c94b014bd0eb8bd9e8 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Fri, 9 Apr 2021 14:15:26 +0200 Subject: Move ToChalk -> mapping --- crates/hir_ty/src/db.rs | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) (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 ea0580df1..e11fc579e 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs @@ -9,7 +9,12 @@ use hir_def::{ }; use la_arena::ArenaMap; -use crate::{Binders, CallableDefId, FnDefId, ImplTraitId, InferenceResult, Interner, PolyFnSig, QuantifiedWhereClause, ReturnTypeImplTraits, TraitRef, Ty, TyDefId, ValueTyDefId, chalk_db, method_resolution::{InherentImpls, TraitImpls}}; +use crate::{ + chalk_db, + method_resolution::{InherentImpls, TraitImpls}, + Binders, CallableDefId, FnDefId, ImplTraitId, InferenceResult, Interner, PolyFnSig, + QuantifiedWhereClause, ReturnTypeImplTraits, TraitRef, Ty, TyDefId, ValueTyDefId, +}; use hir_expand::name::Name; #[salsa::query_group(HirDatabaseStorage)] @@ -93,10 +98,15 @@ pub trait HirDatabase: DefDatabase + Upcast { fn associated_ty_data(&self, id: chalk_db::AssocTypeId) -> Arc; #[salsa::invoke(chalk_db::trait_datum_query)] - fn trait_datum(&self, krate: CrateId, trait_id: chalk_db::TraitId) -> Arc; + fn trait_datum(&self, krate: CrateId, trait_id: chalk_db::TraitId) + -> Arc; #[salsa::invoke(chalk_db::struct_datum_query)] - fn struct_datum(&self, krate: CrateId, struct_id: chalk_db::AdtId) -> Arc; + fn struct_datum( + &self, + krate: CrateId, + struct_id: chalk_db::AdtId, + ) -> Arc; #[salsa::invoke(chalk_db::impl_datum_query)] fn impl_datum(&self, krate: CrateId, impl_id: chalk_db::ImplId) -> Arc; -- cgit v1.2.3