aboutsummaryrefslogtreecommitdiff
path: root/crates
diff options
context:
space:
mode:
authorMarcus Klaas de Vries <[email protected]>2019-01-17 12:47:26 +0000
committerAleksey Kladov <[email protected]>2019-01-19 12:37:26 +0000
commit5027c5d4ee38e07ee426df433d0c650d55b1be84 (patch)
tree624e69dbddbb044528d8a40f921a9eaea0ee76f6 /crates
parent44e9a9605b2b3916669182ba091599d59653c497 (diff)
Fix bug in match arm type unification
Diffstat (limited to 'crates')
-rw-r--r--crates/ra_hir/src/ty.rs2
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