Plumb inference obligations through selection, take 2#33576

Merged

bors merged 3 commits intorust-lang:masterfrom soltanmm:vtable

May 14, 2016

+235-105

Commits on May 11, 2016

Add inferred obligation storage to all Vtable variants and SelectionContext
soltanmm-google
committed
Don't mutate the inference context when assembling
soltanmm-google
committed

Commits on May 12, 2016

Plumb inference obligations through selection
soltanmm-google
committed