diff options
| author | Marcus Klaas de Vries <[email protected]> | 2019-01-17 12:47:26 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-19 12:37:26 +0000 |
| commit | 5027c5d4ee38e07ee426df433d0c650d55b1be84 (patch) | |
| tree | 624e69dbddbb044528d8a40f921a9eaea0ee76f6 | |
| parent | 44e9a9605b2b3916669182ba091599d59653c497 (diff) | |
Fix bug in match arm type unification
| -rw-r--r-- | crates/ra_hir/src/ty.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs index 57fd1ed2a..53b7b5836 100644 --- a/crates/ra_hir/src/ty.rs +++ b/crates/ra_hir/src/ty.rs | |||
| @@ -1143,7 +1143,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
| 1143 | ret_ty | 1143 | ret_ty |
| 1144 | } | 1144 | } |
| 1145 | Expr::Match { expr, arms } => { | 1145 | Expr::Match { expr, arms } => { |
| 1146 | let mut expected = Expectation::none(); | 1146 | let mut expected = expected.clone(); |
| 1147 | let input_ty = self.infer_expr(*expr, &Expectation::none()); | 1147 | let input_ty = self.infer_expr(*expr, &Expectation::none()); |
| 1148 | let pat_expectation = Expectation::has_type(input_ty); | 1148 | let pat_expectation = Expectation::has_type(input_ty); |
| 1149 | 1149 | ||