Skip to content

mir-opt: Remove the workaround in UnreachableEnumBranching#146544

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
dianqk:rm-workaround
Apr 23, 2026
Merged

mir-opt: Remove the workaround in UnreachableEnumBranching#146544
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
dianqk:rm-workaround

Commits

Commits on Jan 23, 2026