Skip to content

mir-opt: Use one MirPatch in MatchBranchSimplification#140080

Merged
bors merged 1 commit intorust-lang:masterfrom
dianqk:one-mirpatch
May 6, 2025

Commits

Commits on Apr 20, 2025