aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/infer')
-rw-r--r--crates/hir_ty/src/infer/unify.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/hir_ty/src/infer/unify.rs b/crates/hir_ty/src/infer/unify.rs
index ffa324b6d..648af4ebf 100644
--- a/crates/hir_ty/src/infer/unify.rs
+++ b/crates/hir_ty/src/infer/unify.rs
@@ -116,6 +116,7 @@ impl<'a, 'b> Canonicalizer<'a, 'b> {
116 DomainGoal::Holds(wc) => { 116 DomainGoal::Holds(wc) => {
117 DomainGoal::Holds(self.do_canonicalize(wc, DebruijnIndex::INNERMOST)) 117 DomainGoal::Holds(self.do_canonicalize(wc, DebruijnIndex::INNERMOST))
118 } 118 }
119 _ => unimplemented!(),
119 }; 120 };
120 self.into_canonicalized(InEnvironment { goal: result, environment: obligation.environment }) 121 self.into_canonicalized(InEnvironment { goal: result, environment: obligation.environment })
121 } 122 }