Skip to content

#[rustc_must_match_exhaustively] detect let else#155276

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
jdonszelmann:must-match-exhaustively-let-else
Apr 14, 2026
Merged

#[rustc_must_match_exhaustively] detect let else#155276
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
jdonszelmann:must-match-exhaustively-let-else

Commits

Commits on Apr 14, 2026