diff options
-rw-r--r-- | Cargo.lock | 16 | ||||
-rw-r--r-- | crates/hir_ty/Cargo.toml | 6 | ||||
-rw-r--r-- | crates/hir_ty/src/traits/chalk.rs | 4 |
3 files changed, 13 insertions, 13 deletions
diff --git a/Cargo.lock b/Cargo.lock index 9c26a0bf7..50c9d36ba 100644 --- a/Cargo.lock +++ b/Cargo.lock | |||
@@ -178,9 +178,9 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd" | |||
178 | 178 | ||
179 | [[package]] | 179 | [[package]] |
180 | name = "chalk-derive" | 180 | name = "chalk-derive" |
181 | version = "0.51.0" | 181 | version = "0.55.0" |
182 | source = "registry+https://github.com/rust-lang/crates.io-index" | 182 | source = "registry+https://github.com/rust-lang/crates.io-index" |
183 | checksum = "f1a2ad10b964771ffc53ce7a8d6fce4bde3da0da82a1bc7a72668548db1c56ee" | 183 | checksum = "3983193cacd81f0f924acb666b7fe5e1a0d81db9f113fa69203eda7ea8ce8b6c" |
184 | dependencies = [ | 184 | dependencies = [ |
185 | "proc-macro2", | 185 | "proc-macro2", |
186 | "quote", | 186 | "quote", |
@@ -190,9 +190,9 @@ dependencies = [ | |||
190 | 190 | ||
191 | [[package]] | 191 | [[package]] |
192 | name = "chalk-ir" | 192 | name = "chalk-ir" |
193 | version = "0.51.0" | 193 | version = "0.55.0" |
194 | source = "registry+https://github.com/rust-lang/crates.io-index" | 194 | source = "registry+https://github.com/rust-lang/crates.io-index" |
195 | checksum = "17b14b40a09687aa5f0973721841d83a8a0e12a6b3ada1d2e01f0a694bb800ee" | 195 | checksum = "a522f53af971e7678f472d687e053120157b3ae26e2ebd5ecbc0f5ab124f2cb6" |
196 | dependencies = [ | 196 | dependencies = [ |
197 | "bitflags", | 197 | "bitflags", |
198 | "chalk-derive", | 198 | "chalk-derive", |
@@ -201,9 +201,9 @@ dependencies = [ | |||
201 | 201 | ||
202 | [[package]] | 202 | [[package]] |
203 | name = "chalk-recursive" | 203 | name = "chalk-recursive" |
204 | version = "0.51.0" | 204 | version = "0.55.0" |
205 | source = "registry+https://github.com/rust-lang/crates.io-index" | 205 | source = "registry+https://github.com/rust-lang/crates.io-index" |
206 | checksum = "1c7297bb1683f63a4b334b53cfdd81a721e8adde3441514e1126d24aaafe2552" | 206 | checksum = "8b0a6bc94f16aaba1dd6d1e2350945bbb0239c3633cdabeedbed601c1354d4b4" |
207 | dependencies = [ | 207 | dependencies = [ |
208 | "chalk-derive", | 208 | "chalk-derive", |
209 | "chalk-ir", | 209 | "chalk-ir", |
@@ -214,9 +214,9 @@ dependencies = [ | |||
214 | 214 | ||
215 | [[package]] | 215 | [[package]] |
216 | name = "chalk-solve" | 216 | name = "chalk-solve" |
217 | version = "0.51.0" | 217 | version = "0.55.0" |
218 | source = "registry+https://github.com/rust-lang/crates.io-index" | 218 | source = "registry+https://github.com/rust-lang/crates.io-index" |
219 | checksum = "82765c1a19e801d53fc9d145449701ddf79f394e6519f1e9c01fca1ee95d0ba7" | 219 | checksum = "cdf79fb77a567e456a170f7ec84ea6584163d4ba3f13660cd182013d34ca667c" |
220 | dependencies = [ | 220 | dependencies = [ |
221 | "chalk-derive", | 221 | "chalk-derive", |
222 | "chalk-ir", | 222 | "chalk-ir", |
diff --git a/crates/hir_ty/Cargo.toml b/crates/hir_ty/Cargo.toml index c7502bf57..f6bf49546 100644 --- a/crates/hir_ty/Cargo.toml +++ b/crates/hir_ty/Cargo.toml | |||
@@ -17,9 +17,9 @@ ena = "0.14.0" | |||
17 | log = "0.4.8" | 17 | log = "0.4.8" |
18 | rustc-hash = "1.1.0" | 18 | rustc-hash = "1.1.0" |
19 | scoped-tls = "1" | 19 | scoped-tls = "1" |
20 | chalk-solve = { version = "0.51", default-features = false } | 20 | chalk-solve = { version = "0.55", default-features = false } |
21 | chalk-ir = "0.51" | 21 | chalk-ir = "0.55" |
22 | chalk-recursive = "0.51" | 22 | chalk-recursive = "0.55" |
23 | la-arena = { version = "0.2.0", path = "../../lib/arena" } | 23 | la-arena = { version = "0.2.0", path = "../../lib/arena" } |
24 | 24 | ||
25 | stdx = { path = "../stdx", version = "0.0.0" } | 25 | stdx = { path = "../stdx", version = "0.0.0" } |
diff --git a/crates/hir_ty/src/traits/chalk.rs b/crates/hir_ty/src/traits/chalk.rs index cfb756158..d74c83737 100644 --- a/crates/hir_ty/src/traits/chalk.rs +++ b/crates/hir_ty/src/traits/chalk.rs | |||
@@ -675,7 +675,7 @@ pub(crate) fn fn_def_variance_query( | |||
675 | ) -> Variances { | 675 | ) -> Variances { |
676 | let callable_def: CallableDefId = from_chalk(db, fn_def_id); | 676 | let callable_def: CallableDefId = from_chalk(db, fn_def_id); |
677 | let generic_params = generics(db.upcast(), callable_def.into()); | 677 | let generic_params = generics(db.upcast(), callable_def.into()); |
678 | Variances::from( | 678 | Variances::from_iter( |
679 | &Interner, | 679 | &Interner, |
680 | std::iter::repeat(chalk_ir::Variance::Invariant).take(generic_params.len()), | 680 | std::iter::repeat(chalk_ir::Variance::Invariant).take(generic_params.len()), |
681 | ) | 681 | ) |
@@ -688,7 +688,7 @@ pub(crate) fn adt_variance_query( | |||
688 | ) -> Variances { | 688 | ) -> Variances { |
689 | let adt: crate::AdtId = from_chalk(db, adt_id); | 689 | let adt: crate::AdtId = from_chalk(db, adt_id); |
690 | let generic_params = generics(db.upcast(), adt.into()); | 690 | let generic_params = generics(db.upcast(), adt.into()); |
691 | Variances::from( | 691 | Variances::from_iter( |
692 | &Interner, | 692 | &Interner, |
693 | std::iter::repeat(chalk_ir::Variance::Invariant).take(generic_params.len()), | 693 | std::iter::repeat(chalk_ir::Variance::Invariant).take(generic_params.len()), |
694 | ) | 694 | ) |