Skip to content

Remove RefCell usage from ObligationForest.#68691

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rm-RefCell-from-ObligationForest
Feb 6, 2020
Merged

Remove `RefCell` usage from `ObligationForest`.#68691
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rm-RefCell-from-ObligationForest

Commits

Commits on Feb 6, 2020