Remove mention of exhaustive_patterns from never docs#139157
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 31, 2025
Merged
Remove mention of exhaustive_patterns from never docs#139157bors merged 1 commit intorust-lang:masterfrom
exhaustive_patterns from never docs#139157bors merged 1 commit intorust-lang:masterfrom