diff options
| author | Jonas Schievink <[email protected]> | 2021-02-01 12:19:55 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-02-03 13:21:15 +0000 |
| commit | b7be2b1d3cc2fd8ca8e7aa7542aaf9d4f905f9f5 (patch) | |
| tree | e7ced55e0eed0106da0b687c5f489165d6a11484 /crates/hir_ty/src | |
| parent | 85e1f0905aae762b8d64b52e76bbc6aa5915894b (diff) | |
Use block_def_map in body lowering
Diffstat (limited to 'crates/hir_ty/src')
| -rw-r--r-- | crates/hir_ty/src/infer/expr.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/infer/expr.rs b/crates/hir_ty/src/infer/expr.rs index d7351d212..12f1591c8 100644 --- a/crates/hir_ty/src/infer/expr.rs +++ b/crates/hir_ty/src/infer/expr.rs | |||
| @@ -137,7 +137,7 @@ impl<'a> InferenceContext<'a> { | |||
| 137 | 137 | ||
| 138 | self.coerce_merge_branch(&then_ty, &else_ty) | 138 | self.coerce_merge_branch(&then_ty, &else_ty) |
| 139 | } | 139 | } |
| 140 | Expr::Block { statements, tail, label } => match label { | 140 | Expr::Block { statements, tail, label, id: _ } => match label { |
| 141 | Some(_) => { | 141 | Some(_) => { |
| 142 | let break_ty = self.table.new_type_var(); | 142 | let break_ty = self.table.new_type_var(); |
| 143 | self.breakables.push(BreakableContext { | 143 | self.breakables.push(BreakableContext { |