Skip to content

Comments

mir-opt: Remove the workaround in UnreachableEnumBranching#146544

Open
dianqk wants to merge 2 commits intorust-lang:mainfrom
dianqk:rm-workaround
Open

mir-opt: Remove the workaround in UnreachableEnumBranching#146544
dianqk wants to merge 2 commits intorust-lang:mainfrom
dianqk:rm-workaround

Commits

Commits on Jan 23, 2026