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
bors merged 1 commit intorust-lang:masterfrom
