From 9abf0d9659d0d48036c4172e29fe33770134dd61 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Sat, 7 Mar 2020 00:11:52 +0100 Subject: Normalize waiting queries names --- crates/ra_hir_ty/src/db.rs | 12 ++++++------ crates/ra_hir_ty/src/infer.rs | 4 ++-- crates/ra_hir_ty/src/lib.rs | 4 ++-- 3 files changed, 10 insertions(+), 10 deletions(-) (limited to 'crates/ra_hir_ty') diff --git a/crates/ra_hir_ty/src/db.rs b/crates/ra_hir_ty/src/db.rs index 7db28a1f8..74b309005 100644 --- a/crates/ra_hir_ty/src/db.rs +++ b/crates/ra_hir_ty/src/db.rs @@ -21,11 +21,11 @@ use hir_expand::name::Name; #[salsa::query_group(HirDatabaseStorage)] #[salsa::requires(salsa::Database)] pub trait HirDatabase: DefDatabase { - #[salsa::transparent] + #[salsa::invoke(infer_wait)] fn infer(&self, def: DefWithBodyId) -> Arc; - #[salsa::invoke(crate::do_infer_query)] - fn do_infer(&self, def: DefWithBodyId) -> Arc; + #[salsa::invoke(crate::infer::infer_query)] + fn infer_query(&self, def: DefWithBodyId) -> Arc; #[salsa::invoke(crate::lower::ty_query)] #[salsa::cycle(crate::lower::ty_recover)] @@ -103,8 +103,8 @@ pub trait HirDatabase: DefDatabase { ) -> Option; } -fn infer(db: &impl HirDatabase, def: DefWithBodyId) -> Arc { - let _p = profile("wait_infer").detail(|| match def { +fn infer_wait(db: &impl HirDatabase, def: DefWithBodyId) -> Arc { + let _p = profile("infer:wait").detail(|| match def { DefWithBodyId::FunctionId(it) => db.function_data(it).name.to_string(), DefWithBodyId::StaticId(it) => { db.static_data(it).name.clone().unwrap_or_else(Name::missing).to_string() @@ -113,7 +113,7 @@ fn infer(db: &impl HirDatabase, def: DefWithBodyId) -> Arc { db.const_data(it).name.clone().unwrap_or_else(Name::missing).to_string() } }); - db.do_infer(def) + db.infer_query(def) } #[test] diff --git a/crates/ra_hir_ty/src/infer.rs b/crates/ra_hir_ty/src/infer.rs index 437086ff6..947833412 100644 --- a/crates/ra_hir_ty/src/infer.rs +++ b/crates/ra_hir_ty/src/infer.rs @@ -63,8 +63,8 @@ mod pat; mod coerce; /// The entry point of type inference. -pub fn do_infer_query(db: &impl HirDatabase, def: DefWithBodyId) -> Arc { - let _p = profile("infer"); +pub(crate) fn infer_query(db: &impl HirDatabase, def: DefWithBodyId) -> Arc { + let _p = profile("infer_query"); let resolver = def.resolver(db); let mut ctx = InferenceContext::new(db, def, resolver); diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs index ca194f806..4127f1a8d 100644 --- a/crates/ra_hir_ty/src/lib.rs +++ b/crates/ra_hir_ty/src/lib.rs @@ -26,7 +26,7 @@ pub mod traits; pub mod method_resolution; mod op; mod lower; -mod infer; +pub(crate) mod infer; pub mod display; pub(crate) mod utils; pub mod db; @@ -57,7 +57,7 @@ use crate::{ use display::HirDisplay; pub use autoderef::autoderef; -pub use infer::{do_infer_query, InferTy, InferenceResult}; +pub use infer::{InferTy, InferenceResult}; pub use lower::CallableDef; pub use lower::{ callable_item_sig, ImplTraitLoweringMode, TyDefId, TyLoweringContext, ValueTyDefId, -- cgit v1.2.3