diff options
author | Laurențiu Nicola <[email protected]> | 2021-02-02 15:07:10 +0000 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2021-02-02 15:40:01 +0000 |
commit | 9c4b799dce89c8629b4f8cc98d0d8e25e6c05eaa (patch) | |
tree | 0f657743573778f56e46ed5230998f2a88699b9e /crates | |
parent | 042e07d89171fa5dd8ba4fc572c183687382c0d7 (diff) |
Bump chalk
Diffstat (limited to 'crates')
-rw-r--r-- | crates/hir_ty/Cargo.toml | 6 | ||||
-rw-r--r-- | crates/hir_ty/src/traits/chalk.rs | 4 |
2 files changed, 5 insertions, 5 deletions
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 | ) |