diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-01 12:42:31 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-01 12:42:31 +0000 |
commit | 746b89d1c383a30a7b2d5168724261dded613b93 (patch) | |
tree | 2d6a120c6bf8219f801c305dfd0b5ef4d19039a1 /crates/hir_ty/src | |
parent | 1a59f75cdaa730c16a694a4294eccf6dfe6fe0ad (diff) | |
parent | b4aa860cac98d69fe4e38602904a6e9e6569e5a6 (diff) |
Merge #7506
7506: Use block_def_map in body lowering r=jonas-schievink a=jonas-schievink
This makes `lower_block` update the `DefMap` and `ModuleId` used by the expander to the corresponding `block_def_map`. This cleans up a bit of code, but doesn't expose any new features.
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
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 { |