match-same-arms
doesn't delete the old arm when merging
#9251
Labels
L-suggestion
Lint: Improving, adding or fixing lint suggestions
Description
match_same_arms
can suggest merging twomatch
arms with identical bodies. If this is done, the fixed arm will merge the other arm into itself, but the old arm will not be deleted, leading torustc
warning aboutunreachable_patterns
.Version
Additional Labels
No response
The text was updated successfully, but these errors were encountered: