Replace consider_unification_despite_ambiguity with new obligation variant#32780

Merged

bors merged 2 commits intorust-lang:masterfrom

soltanmm:consider-the-following

Apr 13, 2016

Commits on Apr 6, 2016

Replace consider_unification_despite_ambiguity with obligation variant
soltanmm-google
committed

Commits on Apr 13, 2016

Fix obscure compilation error
soltanmm-google
committed