Skip to content

improve [match_same_arms] messages, enable rustfix test#12794

Merged
bors merged 1 commit intorust-lang:masterfrom
J-ZhengLi:issue9251
May 14, 2024
Merged

improve [`match_same_arms`] messages, enable rustfix test#12794
bors merged 1 commit intorust-lang:masterfrom
J-ZhengLi:issue9251

Commits

Commits on May 13, 2024