Skip to content

Re-enable the early otherwise branch optimization#122387

Merged
bors merged 5 commits intorust-lang:masterfrom
dianqk:re-enable-early-otherwise-branch
Apr 9, 2024
Merged

Re-enable the early otherwise branch optimization#122387
bors merged 5 commits intorust-lang:masterfrom
dianqk:re-enable-early-otherwise-branch

Commits

Commits on Apr 8, 2024