Replace the obligation forest with a graph#33491

Merged

bors merged 5 commits intorust-lang:masterfrom arielb1:obligation-jungle

May 17, 2016

Commits on May 14, 2016

rewrite obligation forest. cycles still handled incorrectly.

Ariel Ben-Yehuda
authored and
arielb1
committed
add cycle-reporting logic
arielb1
committed
address review comments
arielb1
committed
rewrite fuzzy on_unimplemented matching to avoid ICEs
arielb1
committed

Commits on May 16, 2016

change on_unimplented logic
arielb1
committed