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/db.rs | 6 +++--- crates/ra_hir/src/ty/traits.rs | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/crates/ra_hir/src/db.rs b/crates/ra_hir/src/db.rs index bda02d3cc..da62db58a 100644 --- a/crates/ra_hir/src/db.rs +++ b/crates/ra_hir/src/db.rs @@ -156,7 +156,7 @@ pub trait HirDatabase: DefDatabase { #[salsa::invoke(crate::ty::method_resolution::CrateImplBlocks::impls_in_crate_query)] fn impls_in_crate(&self, krate: Crate) -> Arc; - #[salsa::invoke(crate::ty::traits::impls_for_trait)] + #[salsa::invoke(crate::ty::traits::impls_for_trait_query)] fn impls_for_trait(&self, krate: Crate, trait_: Trait) -> Arc<[ImplBlock]>; /// This provides the Chalk trait solver instance. Because Chalk always @@ -164,11 +164,11 @@ pub trait HirDatabase: DefDatabase { /// because Chalk does its own internal caching, the solver is wrapped in a /// Mutex and the query is marked volatile, to make sure the cached state is /// thrown away when input facts change. - #[salsa::invoke(crate::ty::traits::solver)] + #[salsa::invoke(crate::ty::traits::solver_query)] #[salsa::volatile] fn solver(&self, krate: Crate) -> Arc>; - #[salsa::invoke(crate::ty::traits::implements)] + #[salsa::invoke(crate::ty::traits::implements_query)] fn implements( &self, krate: Crate, 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