Re-enable the early otherwise branch optimization#122387
Merged
bors merged 5 commits intorust-lang:masterfrom Apr 9, 2024
Merged
Re-enable the early otherwise branch optimization#122387bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom