diff options
| author | Florian Diebold <[email protected]> | 2021-04-08 12:51:04 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-08 13:23:17 +0100 |
| commit | a838a60caaa5351d7543bcbebb1aa976b0b73f39 (patch) | |
| tree | e17994fe7a56f78c4770f227d75e9913ea4766db /crates/hir_ty/src/infer | |
| parent | f43edb2151408d0127201312ade7fef9d9328222 (diff) | |
Fix missing match arms
Diffstat (limited to 'crates/hir_ty/src/infer')
| -rw-r--r-- | crates/hir_ty/src/infer/unify.rs | 1 |
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 | } |