Skip to content

[WIP] Re-enable the early otherwise branch optimization#121397

Closed
dianqk wants to merge 10 commits into
rust-lang:masterfrom
dianqk:early_otherwise_branch_sound
Closed

[WIP] Re-enable the early otherwise branch optimization#121397
dianqk wants to merge 10 commits into
rust-lang:masterfrom
dianqk:early_otherwise_branch_sound

Move some cheaper checks earlier

73ef0c0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs