Skip to content

Commit a0c31b7

Browse files
committed
don't skip the rest of the block after let-else
1 parent a77789e commit a0c31b7

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

crates/hir-ty/src/infer/closure.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -469,13 +469,13 @@ impl InferenceContext<'_> {
469469
Statement::Let { pat, type_ref: _, initializer, else_branch } => {
470470
if let Some(else_branch) = else_branch {
471471
self.consume_expr(*else_branch);
472-
if let Some(initializer) = initializer {
473-
self.consume_expr(*initializer);
474-
}
475-
return;
476472
}
477473
if let Some(initializer) = initializer {
478-
self.walk_expr(*initializer);
474+
if else_branch.is_some() {
475+
self.consume_expr(*initializer);
476+
} else {
477+
self.walk_expr(*initializer);
478+
}
479479
if let Some(place) = self.place_of_expr(*initializer) {
480480
self.consume_with_pat(place, *pat);
481481
}

0 commit comments

Comments
 (0)