diff options
-rw-r--r-- | Cargo.lock | 8 | ||||
-rw-r--r-- | crates/ra_hir/Cargo.toml | 2 | ||||
-rw-r--r-- | crates/ra_hir/src/db.rs | 6 | ||||
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 6 | ||||
-rw-r--r-- | crates/ra_ide_api/Cargo.toml | 2 |
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]] |
577 | name = "insta" | 577 | name = "insta" |
578 | version = "0.7.4" | 578 | version = "0.8.1" |
579 | source = "registry+https://github.com/rust-lang/crates.io-index" | 579 | source = "registry+https://github.com/rust-lang/crates.io-index" |
580 | dependencies = [ | 580 | dependencies = [ |
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" | |||
1134 | version = "0.1.0" | 1134 | version = "0.1.0" |
1135 | dependencies = [ | 1135 | dependencies = [ |
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] |
29 | flexi_logger = "0.11.0" | 29 | flexi_logger = "0.11.0" |
30 | insta = "0.7.0" | 30 | insta = "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 | ||
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>, |
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" } | |||
29 | ra_assists = { path = "../ra_assists" } | 29 | ra_assists = { path = "../ra_assists" } |
30 | 30 | ||
31 | [dev-dependencies] | 31 | [dev-dependencies] |
32 | insta = "0.7.0" | 32 | insta = "0.8.1" |
33 | 33 | ||
34 | [dev-dependencies.proptest] | 34 | [dev-dependencies.proptest] |
35 | version = "0.9.0" | 35 | version = "0.9.0" |