Code

Speed up obligation forest code#51411

Code

Merged

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

nnethercote:process_predicatennethercote/rust:process_predicateCopy head branch name to clipboard

Jun 16, 2018

Commits

Commits on Jun 7, 2018

• Simplify `process_obligation`.

  Show description for cdfd9ca
  nnethercote

  committed
  cdfd9ca

  Copy full SHA for cdfd9ca

• Inline and remove `process_predicate`.

  Show description for b18a22a
  nnethercote

  committed
  b18a22a

  Copy full SHA for b18a22a

• Inline `process_obligation`.

  Show description for f14b5d9
  nnethercote

  committed
  f14b5d9

  Copy full SHA for f14b5d9

• Introduce `ProcessResult`.

  Show description for c83d152
  nnethercote

  committed
  c83d152

  Copy full SHA for c83d152