Repository navigation

More `ObligationForest` improvements - #64545

Merged

bors merged 5 commits into

rust-lang:masterfrom

nnethercote:ObligForest-more

Sep 19, 2019

Commits on Sep 17, 2019
- Move a `Node`'s parent into the descendents list.
  nnethercote
  committed
  476e75d
- Remove `NodeIndex`.
  nnethercote
  committed
  cf3a562
- Rename some index variables.
  nnethercote
  committed
  7f6e160
Commits on Sep 18, 2019
- Use explicit iteration instead of `all()` in `process_obligation()`.
  nnethercote
  committed
  82e5c6e
- Add a specialized version of `shallow_resolve()`.
  nnethercote
  committed
  3b85597