Code

Eliminate ObligationCauseData#91844

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom nnethercote:rm-ObligationCauseData-2nnethercote/rust:rm-ObligationCauseData-2Copy head branch name to clipboardDec 20, 2021

+135-139

Commits

Commits on Dec 19, 2021

• Eliminate ObligationCauseData.

  Show description for f09b1fa
  

  Nicholas Nethercote

  authored and

  nnethercote

  committed
  f09b1fa

  Copy full SHA for f09b1fa