aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/unify.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/infer/unify.rs')
-rw-r--r--crates/hir_ty/src/infer/unify.rs7
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