Repository navigation

Even more `ObligationForest` improvements - #64627

Merged

bors merged 7 commits into

rust-lang:masterfrom

nnethercote:ObligForest-even-more

Sep 25, 2019

Merged

Even more `ObligationForest` improvements#64627
bors merged 7 commits into
rust-lang:masterfrom
nnethercote:ObligForest-even-more

Commits on Sep 19, 2019
- Reorder the state handling in `process_cycles()`.
  nnethercote
  committed
  aaff05b
- Specialize the `stalled_on` handling in `process_obligation()`.
  nnethercote
  committed
  acf7d4d
Commits on Sep 20, 2019
- Upgrade to ena-0.13.1 and use the new `inlined_probe_value` function.
  nnethercote
  committed
  3eae7f6
- Remove some unnecessary `backtrace` intermediate variables.
  nnethercote
  committed
  8d73faf
- Rename a loop variable.
  nnethercote
  committed
  75fd4f7
- Rename `waiting_cache`.
  nnethercote
  committed
  27c7c23
- Rename a variable.
  nnethercote
  committed
  aa10abb