Skip to content

Remove early exits from JumpThreading.#140024

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:continue-jumping
Apr 20, 2025
Merged

Remove early exits from JumpThreading.#140024
bors merged 1 commit intorust-lang:masterfrom
cjgillot:continue-jumping

Commits

Commits on Apr 18, 2025