Still more `ObligationForest` improvements. - #64805

Merged

bors merged 11 commits into

rust-lang:masterfrom

nnethercote:ObligForest-still-more

Oct 2, 2019

Commits on Sep 29, 2019

Remove `NodeState::OnDfsStack`.
nnethercote
committed
3b506d9
Rename `node_index` as `index`.
nnethercote
committed
4a7fb8b
Inline `mark_as_waiting_from`.
nnethercote
committed
85a56cb
Tweak the control flow in `process_obligations()`.
nnethercote
committed
7130e6c
Use `filter` and `map` in `to_errors`.
nnethercote
committed
ea72650
Remove unnecessary uses of `ObligationForest::scratch`.
nnethercote
committed
22943ee
Introduce some intermediate variables that aid readability.
nnethercote
committed
6fb1f37
Convert some `match` expressions to `if`s.
nnethercote
committed
9e67f19
Rename `nodes_len` and use it in a few more places.
nnethercote
committed
8a62bb1
Remove an out-of-date sentence in a comment.
nnethercote
committed
2883c25
Avoid the popping loop at the end of `compress()`.
nnethercote
committed
a820672