mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clarify lowering the else arm into the else block

Browse Source
This commit is contained in:
Zalathar 2024-03-06 15:11:21 +11:00
parent 7396fd1fa0
commit 3402f39bcb
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
compiler/rustc_mir_build/src/build/expr/into.rs
View File

@ -95,15 +95,15 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
let (then_blk, mut else_blk);
else_blk = unpack!(then_blk = then_and_else_blocks);
else_blk = if let Some(else_opt) = else_opt {
unpack!(this.expr_into_dest(destination, else_blk, else_opt))
// If there is an `else` arm, lower it into `else_blk`.
if let Some(else_expr) = else_opt {
unpack!(else_blk = this.expr_into_dest(destination, else_blk, else_expr));
} else {
// Body of the `if` expression without an `else` clause must return `()`, thus
// we implicitly generate an `else {}` if it is not specified.
// There is no `else` arm, so we know both arms have type `()`.
// Generate the implicit `else {}` by assigning unit.
let correct_si = this.source_info(expr_span.shrink_to_hi());
this.cfg.push_assign_unit(else_blk, correct_si, destination, this.tcx);
else_blk
};
}
let join_block = this.cfg.start_new_block();
this.cfg.goto(then_blk, source_info, join_block);