Code

we only need to prove things one way#754

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/chalk:masterfrom nikomatsakis:issue-727nikomatsakis/chalk-ndm:issue-727Copy head branch name to clipboardApr 12, 2022

+194-29

Commits

Commits on Mar 10, 2022

• start of a fix for rust-lang#727

  nikomatsakis

  committed
  f979cd1

• mark the failing test as "WIP"

  nikomatsakis

  committed
  d55a9a2

Commits on Mar 16, 2022

• fix tests

  Show description for 2e759c1
  nikomatsakis

  committed
  2e759c1

• add a fast path

  nikomatsakis

  committed
  a5083eb

Commits on Mar 18, 2022

• extend SLG solver with a similar optimization

  nikomatsakis

  committed
  502d989

Commits on Apr 12, 2022

• Revert "extend SLG solver with a similar optimization"

  Show description for 70b2fdb
  nikomatsakis

  committed
  70b2fdb