diff options
author | Aleksey Kladov <[email protected]> | 2019-11-27 09:02:54 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-11-27 09:02:54 +0000 |
commit | 3a0929fca7a52605526c6f89be4e3e86c5d0359d (patch) | |
tree | 4917786a1df597ab44016a2f5c0a8eae67b852b5 /crates/ra_hir/src/db.rs | |
parent | a306531e6aa7995145dc041166f68ea950aca1a8 (diff) |
Decouple
Diffstat (limited to 'crates/ra_hir/src/db.rs')
-rw-r--r-- | crates/ra_hir/src/db.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir/src/db.rs b/crates/ra_hir/src/db.rs index 17cb63868..a5bfef91f 100644 --- a/crates/ra_hir/src/db.rs +++ b/crates/ra_hir/src/db.rs | |||
@@ -2,7 +2,7 @@ | |||
2 | 2 | ||
3 | use std::sync::Arc; | 3 | use std::sync::Arc; |
4 | 4 | ||
5 | use hir_def::{GenericDefId, LocalStructFieldId, TraitId, VariantId}; | 5 | use hir_def::{GenericDefId, ImplId, LocalStructFieldId, TraitId, VariantId}; |
6 | use ra_arena::map::ArenaMap; | 6 | use ra_arena::map::ArenaMap; |
7 | use ra_db::{salsa, CrateId}; | 7 | use ra_db::{salsa, CrateId}; |
8 | 8 | ||
@@ -13,7 +13,7 @@ use crate::{ | |||
13 | CallableDef, FnSig, GenericPredicate, InferenceResult, Substs, Ty, TyDefId, TypeCtor, | 13 | CallableDef, FnSig, GenericPredicate, InferenceResult, Substs, Ty, TyDefId, TypeCtor, |
14 | ValueTyDefId, | 14 | ValueTyDefId, |
15 | }, | 15 | }, |
16 | DefWithBody, ImplBlock, | 16 | DefWithBody, |
17 | }; | 17 | }; |
18 | 18 | ||
19 | pub use hir_def::db::{ | 19 | pub use hir_def::db::{ |
@@ -63,7 +63,7 @@ pub trait HirDatabase: DefDatabase { | |||
63 | fn impls_in_crate(&self, krate: CrateId) -> Arc<CrateImplBlocks>; | 63 | fn impls_in_crate(&self, krate: CrateId) -> Arc<CrateImplBlocks>; |
64 | 64 | ||
65 | #[salsa::invoke(crate::ty::traits::impls_for_trait_query)] | 65 | #[salsa::invoke(crate::ty::traits::impls_for_trait_query)] |
66 | fn impls_for_trait(&self, krate: CrateId, trait_: TraitId) -> Arc<[ImplBlock]>; | 66 | fn impls_for_trait(&self, krate: CrateId, trait_: TraitId) -> Arc<[ImplId]>; |
67 | 67 | ||
68 | /// This provides the Chalk trait solver instance. Because Chalk always | 68 | /// This provides the Chalk trait solver instance. Because Chalk always |
69 | /// works from a specific crate, this query is keyed on the crate; and | 69 | /// works from a specific crate, this query is keyed on the crate; and |