Code

Auto traits#54

Code

Merged

nikomatsakis merged 14 commits intorust-lang:masterrust-lang/chalk:masterfrom scalexm:cologicscalexm/chalk:cologicCopy head branch name to clipboardJul 17, 2017

+640-51

Commits

Commits on Jun 29, 2017

• First try for negative impls and auto traits

  scalexm

  committed
  d0ab9ac

  Copy full SHA for d0ab9ac

• Add documentation and tests

  scalexm

  committed
  7796360

  Copy full SHA for 7796360

Commits on Jun 30, 2017

• Add coherence rules

  scalexm

  committed
  779ae25

  Copy full SHA for 779ae25

Commits on Jul 10, 2017

• Merge branch 'master' into cologic

  scalexm

  committed
  12baae7

  Copy full SHA for 12baae7

• Fix tests and wf for negative bounds

  scalexm

  committed
  2216603

  Copy full SHA for 2216603

Commits on Jul 11, 2017

• Change strategy for coinductive semantics

  scalexm

  committed
  3c66e1d

  Copy full SHA for 3c66e1d

• Add documentation

  scalexm

  committed
  70f70f5

  Copy full SHA for 70f70f5

• Disable negative trait bounds

  scalexm

  committed
  a555776

  Copy full SHA for a555776

• Change syntax for auto traits

  scalexm

  committed
  7f34963

  Copy full SHA for 7f34963

• Add newline at end of solve/test.rs

  scalexm

  committed
  d76c379

  Copy full SHA for d76c379

Commits on Jul 12, 2017

• Merge branch 'master' into cologic

  scalexm

  committed
  82ed96b

  Copy full SHA for 82ed96b

• Add missing last element of a coinductive cycle

  scalexm

  committed
  6863ff1

  Copy full SHA for 6863ff1

Commits on Jul 13, 2017

• Change a test and some other minor things

  scalexm

  committed
  4844044

  Copy full SHA for 4844044

Commits on Jul 16, 2017

• Do not expand where clauses for default impls

  scalexm

  committed
  72e6553

  Copy full SHA for 72e6553