Plumb inference obligations through selection, take 2#33576
Merged
bors merged 3 commits intorust-lang:masterfrom May 14, 2016
Merged
Plumb inference obligations through selection, take 2#33576bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom
