#[rustc_must_match_exhaustively] detect let else#155276
Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom Apr 14, 2026
Merged
#[rustc_must_match_exhaustively] detect let else#155276rust-bors[bot] merged 2 commits intorust-lang:mainfrom
#[rustc_must_match_exhaustively] detect let else#155276rust-bors[bot] merged 2 commits intorust-lang:mainfrom