diff options
Diffstat (limited to 'crates/ra_hir_ty/src/db.rs')
-rw-r--r-- | crates/ra_hir_ty/src/db.rs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/crates/ra_hir_ty/src/db.rs b/crates/ra_hir_ty/src/db.rs index f79faa84d..7db28a1f8 100644 --- a/crates/ra_hir_ty/src/db.rs +++ b/crates/ra_hir_ty/src/db.rs | |||
@@ -66,14 +66,6 @@ pub trait HirDatabase: DefDatabase { | |||
66 | #[salsa::invoke(crate::traits::impls_for_trait_query)] | 66 | #[salsa::invoke(crate::traits::impls_for_trait_query)] |
67 | fn impls_for_trait(&self, krate: CrateId, trait_: TraitId) -> Arc<[ImplId]>; | 67 | fn impls_for_trait(&self, krate: CrateId, trait_: TraitId) -> Arc<[ImplId]>; |
68 | 68 | ||
69 | /// This provides the Chalk trait solver instance. Because Chalk always | ||
70 | /// works from a specific crate, this query is keyed on the crate; and | ||
71 | /// because Chalk does its own internal caching, the solver is wrapped in a | ||
72 | /// Mutex and the query does an untracked read internally, to make sure the | ||
73 | /// cached state is thrown away when input facts change. | ||
74 | #[salsa::invoke(crate::traits::trait_solver_query)] | ||
75 | fn trait_solver(&self, krate: CrateId) -> crate::traits::TraitSolver; | ||
76 | |||
77 | // Interned IDs for Chalk integration | 69 | // Interned IDs for Chalk integration |
78 | #[salsa::interned] | 70 | #[salsa::interned] |
79 | fn intern_type_ctor(&self, type_ctor: TypeCtor) -> crate::TypeCtorId; | 71 | fn intern_type_ctor(&self, type_ctor: TypeCtor) -> crate::TypeCtorId; |