diff options
| author | Jonas Schievink <[email protected]> | 2021-02-01 12:19:55 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-02-01 12:33:18 +0000 |
| commit | 9cc7d57429542a547f2ea57cf99e370b67e24564 (patch) | |
| tree | a4dc2c6fbf287910b23d09b82b5c34a93489fac7 /crates/hir_ty | |
| parent | 1a59f75cdaa730c16a694a4294eccf6dfe6fe0ad (diff) | |
Use block_def_map in body lowering
Diffstat (limited to 'crates/hir_ty')
| -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 { |