Code

Obligation forest tweaks#97674

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:oblig-forest-tweaksnnethercote/rust:oblig-forest-tweaksCopy head branch name to clipboard

Jun 20, 2022

Commits

Commits on Jun 5, 2022

• Streamline `active_cache` to `done_cache` transfer.

  nnethercote

  committed
  cdb446f

  Copy full SHA for cdb446f

• Handle stalling within `ObligationForest`.

  Show description for 281229a
  nnethercote

  committed
  281229a

  Copy full SHA for 281229a

• Split `process_obligation` in two.

  Show description for 32741d5
  nnethercote

  committed
  32741d5

  Copy full SHA for 32741d5