Skip to content

Enable MIR JumpThreading by default#117206

Merged
bors merged 2 commits intorust-lang:masterfrom
cjgillot:jump-threading-default
Feb 11, 2024
Merged

Enable MIR JumpThreading by default#117206
bors merged 2 commits intorust-lang:masterfrom
cjgillot:jump-threading-default

Commits

Commits on Feb 9, 2024