mir-opt: Remove the workaround in UnreachableEnumBranching#146544
Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom Apr 23, 2026
Merged
mir-opt: Remove the workaround in UnreachableEnumBranching#146544rust-bors[bot] merged 2 commits intorust-lang:mainfrom
rust-bors[bot] merged 2 commits intorust-lang:mainfrom