Simplify match based on the cast result of IntToInt
#127324
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 3, 2024
Merged
Simplify match based on the cast result of `IntToInt`#127324bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom