[match_same_arms]: don't lint if non_exhaustive_omitted_patterns#10946
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 15, 2023
Merged
[`match_same_arms`]: don't lint if `non_exhaustive_omitted_patterns`#10946bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
