From 69341a0bbee4cfbc3cb4365ee2d8702874b96ebb Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Tue, 21 May 2019 12:44:08 +0300 Subject: add _query to query functions --- crates/ra_hir/src/ty/traits.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'crates/ra_hir/src/ty') 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> { krate: Crate, } -pub(crate) fn solver(_db: &impl HirDatabase, _krate: Crate) -> Arc> { +pub(crate) fn solver_query(_db: &impl HirDatabase, _krate: Crate) -> Arc> { // krate parameter is just so we cache a unique solver per crate let solver_choice = chalk_solve::SolverChoice::SLG { max_size: CHALK_SOLVER_MAX_SIZE }; debug!("Creating new solver for crate {:?}", _krate); @@ -33,7 +33,7 @@ pub(crate) fn solver(_db: &impl HirDatabase, _krate: Crate) -> Arc } /// Collects impls for the given trait in the whole dependency tree of `krate`. -pub(crate) fn impls_for_trait( +pub(crate) fn impls_for_trait_query( db: &impl HirDatabase, krate: Crate, trait_: Trait, @@ -76,7 +76,7 @@ pub enum Obligation { } /// Check using Chalk whether trait is implemented for given parameters including `Self` type. -pub(crate) fn implements( +pub(crate) fn implements_query( db: &impl HirDatabase, krate: Crate, trait_ref: Canonical, -- cgit v1.2.3