diff options
Diffstat (limited to 'crates/hir_ty/src/infer/unify.rs')
-rw-r--r-- | crates/hir_ty/src/infer/unify.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/crates/hir_ty/src/infer/unify.rs b/crates/hir_ty/src/infer/unify.rs index 7595b46cf..75250a369 100644 --- a/crates/hir_ty/src/infer/unify.rs +++ b/crates/hir_ty/src/infer/unify.rs | |||
@@ -98,15 +98,12 @@ impl<'a, 'b> Canonicalizer<'a, 'b> { | |||
98 | mut self, | 98 | mut self, |
99 | obligation: InEnvironment<DomainGoal>, | 99 | obligation: InEnvironment<DomainGoal>, |
100 | ) -> Canonicalized<InEnvironment<DomainGoal>> { | 100 | ) -> Canonicalized<InEnvironment<DomainGoal>> { |
101 | let result = match obligation.value { | 101 | let result = match obligation.goal { |
102 | DomainGoal::Holds(wc) => { | 102 | DomainGoal::Holds(wc) => { |
103 | DomainGoal::Holds(self.do_canonicalize(wc, DebruijnIndex::INNERMOST)) | 103 | DomainGoal::Holds(self.do_canonicalize(wc, DebruijnIndex::INNERMOST)) |
104 | } | 104 | } |
105 | }; | 105 | }; |
106 | self.into_canonicalized(InEnvironment { | 106 | self.into_canonicalized(InEnvironment { goal: result, environment: obligation.environment }) |
107 | value: result, | ||
108 | environment: obligation.environment, | ||
109 | }) | ||
110 | } | 107 | } |
111 | } | 108 | } |
112 | 109 | ||