diff options
author | Aleksey Kladov <[email protected]> | 2019-05-21 10:44:08 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-05-21 10:44:08 +0100 |
commit | 69341a0bbee4cfbc3cb4365ee2d8702874b96ebb (patch) | |
tree | 987ff9410165b7df6a2165628d9c0c841f464e5f /crates/ra_hir/src/ty | |
parent | eabfe3902f363ee03bef8421580c6fe8e3730899 (diff) |
add _query to query functions
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 6 |
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 | ||
28 | pub(crate) fn solver(_db: &impl HirDatabase, _krate: Crate) -> Arc<Mutex<Solver>> { | 28 | pub(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`. |
36 | pub(crate) fn impls_for_trait( | 36 | pub(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. |
79 | pub(crate) fn implements( | 79 | pub(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>, |