Skip to content

mark min_exhaustive_patterns as complete#120742

Merged
bors merged 3 commits into
rust-lang:masterfrom
Nadrieril:use-min_exh_pats
Feb 23, 2024
Merged

mark min_exhaustive_patterns as complete#120742
bors merged 3 commits into
rust-lang:masterfrom
Nadrieril:use-min_exh_pats

Commits

Commits on Feb 13, 2024