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

Merged

bors merged 2 commits intorust-lang:masterfrom

eddyb:wf-early-exit

May 2, 2020

Commits on Apr 30, 2020

wf: handle "livelock" checking before reaching `WfPredicates::compute`.
eddyb
committed
wf: {Int,Float}Var can only infer to always-WF ints/floats.
eddyb
committed