aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/db.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir_ty/src/db.rs')
-rw-r--r--crates/ra_hir_ty/src/db.rs8
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;