Code

Improve chalk integration#93810

Code

Merged

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

matthewjasper:chalk-and-canonical-universesmatthewjasper/rust:chalk-and-canonical-universesCopy head branch name to clipboard

Feb 13, 2022

Commits

Commits on Feb 11, 2022

• Stop using a placeholder for empty regions in Chalk

  matthewjasper

  committed
  cb3cff3

  Copy full SHA for cb3cff3

• Fix more chalk lowering issues

  Show description for d4fa173
  matthewjasper

  committed
  d4fa173

  Copy full SHA for d4fa173

• Reverse parameter to placeholder substitution in chalk results

  matthewjasper

  committed
  1e6d382

  Copy full SHA for 1e6d382

• Renumber universes when canonicalizing for Chalk

  Show description for caa10dc
  matthewjasper

  committed
  caa10dc

  Copy full SHA for caa10dc

Commits on Feb 12, 2022

• Update chalk tests

  matthewjasper

  committed
  f718b51

  Copy full SHA for f718b51

• Address review comment

  Show description for 030c508
  matthewjasper

  committed
  030c508

  Copy full SHA for 030c508