aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Cargo.lock8
-rw-r--r--crates/ra_hir/Cargo.toml2
-rw-r--r--crates/ra_hir/src/db.rs6
-rw-r--r--crates/ra_hir/src/ty/traits.rs6
-rw-r--r--crates/ra_ide_api/Cargo.toml2
5 files changed, 12 insertions, 12 deletions
diff --git a/Cargo.lock b/Cargo.lock
index 1e2fc7851..b137390d3 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -575,7 +575,7 @@ dependencies = [
575 575
576[[package]] 576[[package]]
577name = "insta" 577name = "insta"
578version = "0.7.4" 578version = "0.8.1"
579source = "registry+https://github.com/rust-lang/crates.io-index" 579source = "registry+https://github.com/rust-lang/crates.io-index"
580dependencies = [ 580dependencies = [
581 "chrono 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)", 581 "chrono 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
@@ -1114,7 +1114,7 @@ dependencies = [
1114 "chalk-solve 0.1.0 (git+https://github.com/rust-lang/chalk.git)", 1114 "chalk-solve 0.1.0 (git+https://github.com/rust-lang/chalk.git)",
1115 "ena 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)", 1115 "ena 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)",
1116 "flexi_logger 0.11.4 (registry+https://github.com/rust-lang/crates.io-index)", 1116 "flexi_logger 0.11.4 (registry+https://github.com/rust-lang/crates.io-index)",
1117 "insta 0.7.4 (registry+https://github.com/rust-lang/crates.io-index)", 1117 "insta 0.8.1 (registry+https://github.com/rust-lang/crates.io-index)",
1118 "join_to_string 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)", 1118 "join_to_string 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)",
1119 "log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)", 1119 "log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
1120 "parking_lot 0.7.1 (registry+https://github.com/rust-lang/crates.io-index)", 1120 "parking_lot 0.7.1 (registry+https://github.com/rust-lang/crates.io-index)",
@@ -1134,7 +1134,7 @@ name = "ra_ide_api"
1134version = "0.1.0" 1134version = "0.1.0"
1135dependencies = [ 1135dependencies = [
1136 "fst 0.3.3 (registry+https://github.com/rust-lang/crates.io-index)", 1136 "fst 0.3.3 (registry+https://github.com/rust-lang/crates.io-index)",
1137 "insta 0.7.4 (registry+https://github.com/rust-lang/crates.io-index)", 1137 "insta 0.8.1 (registry+https://github.com/rust-lang/crates.io-index)",
1138 "itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)", 1138 "itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",
1139 "jemalloc-ctl 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)", 1139 "jemalloc-ctl 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)",
1140 "jemallocator 0.1.9 (registry+https://github.com/rust-lang/crates.io-index)", 1140 "jemallocator 0.1.9 (registry+https://github.com/rust-lang/crates.io-index)",
@@ -2087,7 +2087,7 @@ dependencies = [
2087"checksum indicatif 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)" = "2c60da1c9abea75996b70a931bba6c750730399005b61ccd853cee50ef3d0d0c" 2087"checksum indicatif 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)" = "2c60da1c9abea75996b70a931bba6c750730399005b61ccd853cee50ef3d0d0c"
2088"checksum inotify 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)" = "40b54539f3910d6f84fbf9a643efd6e3aa6e4f001426c0329576128255994718" 2088"checksum inotify 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)" = "40b54539f3910d6f84fbf9a643efd6e3aa6e4f001426c0329576128255994718"
2089"checksum inotify-sys 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)" = "e74a1aa87c59aeff6ef2cc2fa62d41bc43f54952f55652656b18a02fd5e356c0" 2089"checksum inotify-sys 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)" = "e74a1aa87c59aeff6ef2cc2fa62d41bc43f54952f55652656b18a02fd5e356c0"
2090"checksum insta 0.7.4 (registry+https://github.com/rust-lang/crates.io-index)" = "03e7d88a87d342ce8bd698516151be43e6eb2e84b683db528696cb4a382f734a" 2090"checksum insta 0.8.1 (registry+https://github.com/rust-lang/crates.io-index)" = "8bbbb69ec4557c37b2bf4d525d106d828e0c2fbd6c44bc98cd3798da13c73b9f"
2091"checksum iovec 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "dbe6e417e7d0975db6512b90796e8ce223145ac4e33c377e4a42882a0e88bb08" 2091"checksum iovec 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "dbe6e417e7d0975db6512b90796e8ce223145ac4e33c377e4a42882a0e88bb08"
2092"checksum itertools 0.7.11 (registry+https://github.com/rust-lang/crates.io-index)" = "0d47946d458e94a1b7bcabbf6521ea7c037062c81f534615abcad76e84d4970d" 2092"checksum itertools 0.7.11 (registry+https://github.com/rust-lang/crates.io-index)" = "0d47946d458e94a1b7bcabbf6521ea7c037062c81f534615abcad76e84d4970d"
2093"checksum itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)" = "5b8467d9c1cebe26feb08c640139247fac215782d35371ade9a2136ed6085358" 2093"checksum itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)" = "5b8467d9c1cebe26feb08c640139247fac215782d35371ade9a2136ed6085358"
diff --git a/crates/ra_hir/Cargo.toml b/crates/ra_hir/Cargo.toml
index 68ffcb2e9..cb4a8c3e3 100644
--- a/crates/ra_hir/Cargo.toml
+++ b/crates/ra_hir/Cargo.toml
@@ -27,4 +27,4 @@ chalk-ir = { git = "https://github.com/rust-lang/chalk.git" }
27 27
28[dev-dependencies] 28[dev-dependencies]
29flexi_logger = "0.11.0" 29flexi_logger = "0.11.0"
30insta = "0.7.0" 30insta = "0.8.1"
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 {
156 #[salsa::invoke(crate::ty::method_resolution::CrateImplBlocks::impls_in_crate_query)] 156 #[salsa::invoke(crate::ty::method_resolution::CrateImplBlocks::impls_in_crate_query)]
157 fn impls_in_crate(&self, krate: Crate) -> Arc<CrateImplBlocks>; 157 fn impls_in_crate(&self, krate: Crate) -> Arc<CrateImplBlocks>;
158 158
159 #[salsa::invoke(crate::ty::traits::impls_for_trait)] 159 #[salsa::invoke(crate::ty::traits::impls_for_trait_query)]
160 fn impls_for_trait(&self, krate: Crate, trait_: Trait) -> Arc<[ImplBlock]>; 160 fn impls_for_trait(&self, krate: Crate, trait_: Trait) -> Arc<[ImplBlock]>;
161 161
162 /// This provides the Chalk trait solver instance. Because Chalk always 162 /// This provides the Chalk trait solver instance. Because Chalk always
@@ -164,11 +164,11 @@ pub trait HirDatabase: DefDatabase {
164 /// because Chalk does its own internal caching, the solver is wrapped in a 164 /// because Chalk does its own internal caching, the solver is wrapped in a
165 /// Mutex and the query is marked volatile, to make sure the cached state is 165 /// Mutex and the query is marked volatile, to make sure the cached state is
166 /// thrown away when input facts change. 166 /// thrown away when input facts change.
167 #[salsa::invoke(crate::ty::traits::solver)] 167 #[salsa::invoke(crate::ty::traits::solver_query)]
168 #[salsa::volatile] 168 #[salsa::volatile]
169 fn solver(&self, krate: Crate) -> Arc<Mutex<crate::ty::traits::Solver>>; 169 fn solver(&self, krate: Crate) -> Arc<Mutex<crate::ty::traits::Solver>>;
170 170
171 #[salsa::invoke(crate::ty::traits::implements)] 171 #[salsa::invoke(crate::ty::traits::implements_query)]
172 fn implements( 172 fn implements(
173 &self, 173 &self,
174 krate: Crate, 174 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> {
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>,
diff --git a/crates/ra_ide_api/Cargo.toml b/crates/ra_ide_api/Cargo.toml
index 333706c1a..d399d5e2e 100644
--- a/crates/ra_ide_api/Cargo.toml
+++ b/crates/ra_ide_api/Cargo.toml
@@ -29,7 +29,7 @@ test_utils = { path = "../test_utils" }
29ra_assists = { path = "../ra_assists" } 29ra_assists = { path = "../ra_assists" }
30 30
31[dev-dependencies] 31[dev-dependencies]
32insta = "0.7.0" 32insta = "0.8.1"
33 33
34[dev-dependencies.proptest] 34[dev-dependencies.proptest]
35version = "0.9.0" 35version = "0.9.0"