Add snapshotting to ObligationForest#30965

Closed

soltanmm wants to merge 3 commits intorust-lang:masterfrom

soltanmm:pinhole

Commits on Jan 20, 2016

Add snapshotting to ObligationForest
soltanmm-google
committed

Commits on Jan 21, 2016

Change ObligationForest back to using a single vec
soltanmm-google
committed

Commits on Jan 22, 2016

Allow no-change snapshots to be done in succession
soltanmm-google
committed