Fix match_same_arms in stable_mir#131688

practicalrs wants to merge 3 commits intorust-lang:masterrust-lang/rust:masterfrom

practicalrs:fix_match_same_armspracticalrs/rust:fix_match_same_armsCopy head branch name to clipboard