Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return` by estebank · Pull Request #148837 · rust-lang/rust

estebank · 2025-11-11T20:12:42Z

No description provided.

rustbot · 2025-11-11T20:12:46Z

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

Some changes occurred in compiler/rustc_codegen_ssa

cc @WaffleLapkin

HIR ty lowering was modified

cc @fmease

Some changes occurred in compiler/rustc_codegen_gcc

cc @antoyo, @GuillaumeGomez

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

rustbot · 2025-11-11T20:12:48Z

r? @wesleywiser

rustbot has assigned @wesleywiser.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

bjorn3 · 2025-11-11T21:21:30Z

compiler/rustc_codegen_gcc/src/intrinsic/simd.rs

Maybe skip this for now to avoid conflicts with #148481?

chenyukang · 2025-11-12T06:30:18Z

do we have a style check for this?

estebank · 2025-11-12T18:35:42Z

@chenyukang there's a pedantic clippy lint that we could enable: https://rust-lang.github.io/rust-clippy/master/index.html#/let-else

Kivooeo

Thanks for taking time on this, looks good on compiler side, would this reasonable to split compiler and library parts? I'm not sure if I privileged enough to review the library part

There is some places that looks better with the if let guard feature to remove nesting

View changes since this review

compiler/rustc_hir_typeck/src/fn_ctxt/adjust_fulfillment_errors.rs

compiler/rustc_hir_typeck/src/fn_ctxt/suggestions.rs

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs

rustbot · 2025-12-09T00:58:50Z

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

Kivooeo · 2025-12-09T18:39:44Z

compiler/rustc_ast/src/lib.rs


 // tidy-alphabetical-start
 #![cfg_attr(bootstrap, feature(array_windows))]
+#![deny(clippy::manual_let_else)]


let's not add this lint anywhere yet, I think CI will never stop complain about it :D

I'm finding them instructive :)

ah, so feel free to «r=me» once CI passed

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs

bors · 2025-12-12T01:36:33Z

☔ The latest upstream changes (presumably #149645) made this pull request unmergeable. Please resolve the merge conflicts.

…let ... else return`

rustbot · 2025-12-12T17:55:45Z

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

estebank · 2025-12-12T19:09:32Z

@bors r=Kivooeo

bors · 2025-12-12T19:09:35Z

📌 Commit 97c7742 has been approved by Kivooeo

It is now in the queue for this repository.

Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`

Rollup of 11 pull requests Successful merges: - #145278 (Update `rustc_codegen_gcc` rotate operation document) - #148825 (Add SystemTime::{MIN, MAX}) - #148837 (Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`) - #149177 (Add proper suggestion for associated function with unknown field) - #149843 (Inherit attributes in delegation) - #149860 (Fix: Prevent macro-expanded extern crates from shadowing extern arguments) - #149874 (Weak for Arc pointer is marked as DynSend/DynSync) - #149903 (Remove unused code in `cfg_old`) - #149911 (bootstrap: Don't pass an unused `--color` to compiletest) - #149916 (Add a sanity check in case of any duplicate nodes) - #149924 (`declare_lint_pass` for `INLINE_ALWAYS_MISMATCHING_TARGET_FEATURES`) r? `@ghost` `@rustbot` modify labels: rollup

Rollup of 10 pull requests Successful merges: - #145278 (Update `rustc_codegen_gcc` rotate operation document) - #148837 (Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`) - #149177 (Add proper suggestion for associated function with unknown field) - #149843 (Inherit attributes in delegation) - #149860 (Fix: Prevent macro-expanded extern crates from shadowing extern arguments) - #149874 (Weak for Arc pointer is marked as DynSend/DynSync) - #149903 (Remove unused code in `cfg_old`) - #149911 (bootstrap: Don't pass an unused `--color` to compiletest) - #149916 (Add a sanity check in case of any duplicate nodes) - #149924 (`declare_lint_pass` for `INLINE_ALWAYS_MISMATCHING_TARGET_FEATURES`) r? `@ghost` `@rustbot` modify labels: rollup

Rollup merge of #148837 - estebank:let-else, r=Kivooeo Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`

Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`

Use `let`...`else` instead of `match foo { ... _ => return };` and `if let ... else return` in std Split off rust-lang/rust#148837.

Rollup of 10 pull requests Successful merges: - rust-lang/rust#145278 (Update `rustc_codegen_gcc` rotate operation document) - rust-lang/rust#148837 (Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`) - rust-lang/rust#149177 (Add proper suggestion for associated function with unknown field) - rust-lang/rust#149843 (Inherit attributes in delegation) - rust-lang/rust#149860 (Fix: Prevent macro-expanded extern crates from shadowing extern arguments) - rust-lang/rust#149874 (Weak for Arc pointer is marked as DynSend/DynSync) - rust-lang/rust#149903 (Remove unused code in `cfg_old`) - rust-lang/rust#149911 (bootstrap: Don't pass an unused `--color` to compiletest) - rust-lang/rust#149916 (Add a sanity check in case of any duplicate nodes) - rust-lang/rust#149924 (`declare_lint_pass` for `INLINE_ALWAYS_MISMATCHING_TARGET_FEATURES`) r? `@ghost` `@rustbot` modify labels: rollup

Use `let`...`else` instead of `match foo { ... _ => return };` and `if let ... else return` in std Split off rust-lang/rust#148837.

Rollup of 10 pull requests Successful merges: - rust-lang/rust#145278 (Update `rustc_codegen_gcc` rotate operation document) - rust-lang/rust#148837 (Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`) - rust-lang/rust#149177 (Add proper suggestion for associated function with unknown field) - rust-lang/rust#149843 (Inherit attributes in delegation) - rust-lang/rust#149860 (Fix: Prevent macro-expanded extern crates from shadowing extern arguments) - rust-lang/rust#149874 (Weak for Arc pointer is marked as DynSend/DynSync) - rust-lang/rust#149903 (Remove unused code in `cfg_old`) - rust-lang/rust#149911 (bootstrap: Don't pass an unused `--color` to compiletest) - rust-lang/rust#149916 (Add a sanity check in case of any duplicate nodes) - rust-lang/rust#149924 (`declare_lint_pass` for `INLINE_ALWAYS_MISMATCHING_TARGET_FEATURES`) r? `@ghost` `@rustbot` modify labels: rollup

rustbot assigned wesleywiser Nov 11, 2025

estebank force-pushed the let-else branch from 008fdbd to 7afd776 Compare November 11, 2025 20:17

This comment has been minimized.

Sign in to view

bjorn3 reviewed Nov 11, 2025

View reviewed changes

Kivooeo assigned Kivooeo and unassigned wesleywiser Nov 11, 2025

Kivooeo approved these changes Nov 12, 2025

View reviewed changes

compiler/rustc_hir_typeck/src/fn_ctxt/adjust_fulfillment_errors.rs Show resolved Hide resolved

compiler/rustc_hir_typeck/src/fn_ctxt/suggestions.rs Show resolved Hide resolved

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs Show resolved Hide resolved

This comment was marked as outdated.

Sign in to view

estebank mentioned this pull request Dec 9, 2025

Use let...else instead of match foo { ... _ => return }; and if let ... else return in std #149795

Merged

estebank force-pushed the let-else branch from 7afd776 to 5d9d399 Compare December 9, 2025 00:11

This comment has been minimized.

Sign in to view

estebank force-pushed the let-else branch 2 times, most recently from f61284d to 9c1998b Compare December 9, 2025 00:43

This comment has been minimized.

Sign in to view

estebank force-pushed the let-else branch from cbfd1b3 to 02b6715 Compare December 9, 2025 17:30

This comment has been minimized.

Sign in to view

Kivooeo reviewed Dec 9, 2025

View reviewed changes

This comment has been minimized.

Sign in to view

Kivooeo reviewed Dec 11, 2025

View reviewed changes

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs Outdated Show resolved Hide resolved

This comment has been minimized.

Sign in to view

estebank force-pushed the let-else branch from d794edb to a9d898c Compare December 11, 2025 21:39

estebank added 3 commits December 12, 2025 17:52

Use let...else instead of match foo { ... _ => return }; and `if …

146711f

…let ... else return`

#![deny(clippy::manual_let_else)] in some rustc modules

a49c175

revert one change from rustc_next_trait_solver

97c7742

estebank force-pushed the let-else branch from a9d898c to 97c7742 Compare December 12, 2025 17:55

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 12, 2025

jhpratt added a commit to jhpratt/rust that referenced this pull request Dec 13, 2025

Rollup merge of rust-lang#148837 - estebank:let-else, r=Kivooeo

4ed48d8

Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`

jhpratt mentioned this pull request Dec 13, 2025

Rollup of 11 pull requests #149940

Closed

jhpratt mentioned this pull request Dec 13, 2025

Rollup of 10 pull requests #149941

Merged

bors merged commit b32845c into rust-lang:main Dec 13, 2025
11 checks passed

rustbot added this to the 1.94.0 milestone Dec 13, 2025

rust-timer added a commit that referenced this pull request Dec 13, 2025

Unrolled build for #148837

8412284

Rollup merge of #148837 - estebank:let-else, r=Kivooeo Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`

github-actions bot mentioned this pull request Dec 15, 2025

Toolchain upgrade to nightly-2026-01-30 flux-rs/flux#1345

Draft

GuillaumeGomez pushed a commit to GuillaumeGomez/rust that referenced this pull request Dec 20, 2025

Rollup merge of rust-lang#148837 - estebank:let-else, r=Kivooeo

2afb92f

Use `let...else` instead of `match foo { ... _ => return };` and `if let ... else return`

Uh oh!

Conversation

estebank commented Nov 11, 2025

Uh oh!

rustbot commented Nov 11, 2025

Uh oh!

rustbot commented Nov 11, 2025

Uh oh!

This comment has been minimized.

bjorn3 Nov 11, 2025

Choose a reason for hiding this comment

Uh oh!

chenyukang commented Nov 12, 2025

Uh oh!

estebank commented Nov 12, 2025

Uh oh!

Kivooeo left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

This comment was marked as outdated.

This comment has been minimized.

rustbot commented Dec 9, 2025

Uh oh!

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Kivooeo Dec 9, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

estebank Dec 9, 2025

Choose a reason for hiding this comment

Uh oh!

Kivooeo Dec 9, 2025

Choose a reason for hiding this comment

Uh oh!

This comment has been minimized.

Uh oh!

This comment has been minimized.

bors commented Dec 12, 2025

Uh oh!

rustbot commented Dec 12, 2025

Uh oh!

estebank commented Dec 12, 2025

Uh oh!

bors commented Dec 12, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

8 participants

Kivooeo left a comment •

edited

Loading

Kivooeo Dec 9, 2025 •

edited

Loading