Make process_obligations' computation of completed optional.#55501
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 7, 2018
process_obligations' computation of completed optional.#55501