diff options
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk')
-rw-r--r-- | crates/ra_hir_ty/src/traits/chalk/mapping.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk/mapping.rs b/crates/ra_hir_ty/src/traits/chalk/mapping.rs index bc0c6de17..848cb6e7d 100644 --- a/crates/ra_hir_ty/src/traits/chalk/mapping.rs +++ b/crates/ra_hir_ty/src/traits/chalk/mapping.rs | |||
@@ -575,7 +575,10 @@ where | |||
575 | ) | 575 | ) |
576 | }); | 576 | }); |
577 | let value = self.value.to_chalk(db); | 577 | let value = self.value.to_chalk(db); |
578 | chalk_ir::Canonical { value, binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds) } | 578 | chalk_ir::Canonical { |
579 | value, | ||
580 | binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds), | ||
581 | } | ||
579 | } | 582 | } |
580 | 583 | ||
581 | fn from_chalk(db: &dyn HirDatabase, canonical: chalk_ir::Canonical<T::Chalk>) -> Canonical<T> { | 584 | fn from_chalk(db: &dyn HirDatabase, canonical: chalk_ir::Canonical<T::Chalk>) -> Canonical<T> { |