aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r--crates/ra_hir/src/ty/traits.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs
index 7de04c044..190d018ff 100644
--- a/crates/ra_hir/src/ty/traits.rs
+++ b/crates/ra_hir/src/ty/traits.rs
@@ -25,7 +25,7 @@ struct ChalkContext<'a, DB> {
25 krate: Crate, 25 krate: Crate,
26} 26}
27 27
28pub(crate) fn solver(_db: &impl HirDatabase, _krate: Crate) -> Arc<Mutex<Solver>> { 28pub(crate) fn solver_query(_db: &impl HirDatabase, _krate: Crate) -> Arc<Mutex<Solver>> {
29 // krate parameter is just so we cache a unique solver per crate 29 // krate parameter is just so we cache a unique solver per crate
30 let solver_choice = chalk_solve::SolverChoice::SLG { max_size: CHALK_SOLVER_MAX_SIZE }; 30 let solver_choice = chalk_solve::SolverChoice::SLG { max_size: CHALK_SOLVER_MAX_SIZE };
31 debug!("Creating new solver for crate {:?}", _krate); 31 debug!("Creating new solver for crate {:?}", _krate);
@@ -33,7 +33,7 @@ pub(crate) fn solver(_db: &impl HirDatabase, _krate: Crate) -> Arc<Mutex<Solver>
33} 33}
34 34
35/// Collects impls for the given trait in the whole dependency tree of `krate`. 35/// Collects impls for the given trait in the whole dependency tree of `krate`.
36pub(crate) fn impls_for_trait( 36pub(crate) fn impls_for_trait_query(
37 db: &impl HirDatabase, 37 db: &impl HirDatabase,
38 krate: Crate, 38 krate: Crate,
39 trait_: Trait, 39 trait_: Trait,
@@ -76,7 +76,7 @@ pub enum Obligation {
76} 76}
77 77
78/// Check using Chalk whether trait is implemented for given parameters including `Self` type. 78/// Check using Chalk whether trait is implemented for given parameters including `Self` type.
79pub(crate) fn implements( 79pub(crate) fn implements_query(
80 db: &impl HirDatabase, 80 db: &impl HirDatabase,
81 krate: Crate, 81 krate: Crate,
82 trait_ref: Canonical<TraitRef>, 82 trait_ref: Canonical<TraitRef>,