Skip to content

wf: handle "livelock" checking before reaching WfPredicates::compute.#70170

Merged
bors merged 2 commits into
rust-lang:masterfrom
eddyb:wf-early-exit
May 2, 2020
Merged

wf: handle "livelock" checking before reaching WfPredicates::compute.#70170
bors merged 2 commits into
rust-lang:masterfrom
eddyb:wf-early-exit

wf: {Int,Float}Var can only infer to always-WF ints/floats.

05a872d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs