From a838a60caaa5351d7543bcbebb1aa976b0b73f39 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Thu, 8 Apr 2021 13:51:04 +0200 Subject: Fix missing match arms --- crates/hir_ty/src/infer/unify.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'crates/hir_ty/src/infer') 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> { DomainGoal::Holds(wc) => { DomainGoal::Holds(self.do_canonicalize(wc, DebruijnIndex::INNERMOST)) } + _ => unimplemented!(), }; self.into_canonicalized(InEnvironment { goal: result, environment: obligation.environment }) } -- cgit v1.2.3