perf: Merge done_cache and active_cache in ObligationForest#67892

Closed

Marwes wants to merge 4 commits intorust-lang:masterfrom

Marwes:obligation_forest

Commits on Jan 5, 2020

Commits on Jan 6, 2020

Avoid the need to call retain on active_cache
Marwes
committed