Skip to content

Cleanup rustc_mir_build/../check_match.rs#117343

Merged
bors merged 10 commits into
rust-lang:masterfrom
Nadrieril:cleanup_check_match
Nov 4, 2023
Merged

Cleanup rustc_mir_build/../check_match.rs#117343
bors merged 10 commits into
rust-lang:masterfrom
Nadrieril:cleanup_check_match

Commits

Commits on Nov 2, 2023

Commits on Nov 3, 2023