Skip to content

Warn users who set non_exhaustive_omitted_patterns lint level on a match arm#117094

Merged
bors merged 3 commits intorust-lang:masterfrom
Nadrieril:warn-lint-on-arm
Nov 4, 2023
Merged

Warn users who set `non_exhaustive_omitted_patterns` lint level on a match arm#117094
bors merged 3 commits intorust-lang:masterfrom
Nadrieril:warn-lint-on-arm

Commits

Commits on Nov 4, 2023