Code

Various fixes to associated types#20374

Code

Merged

bors merged 11 commits intorust-lang:masterrust-lang/rust:masterfrom nikomatsakis:assoc-typesnikomatsakis/rust:assoc-typesCopy head branch name to clipboardJan 1, 2015

+886-430

Commits

Commits on Dec 31, 2014

• Patch projection to not be so eager to unify type variables. This code

  Show description for 4f05ec7
  nikomatsakis

  committed
  4f05ec7

  Copy full SHA for 4f05ec7

• Incorporate fix from japaric for cross-crate ICE

  nikomatsakis

  committed
  23eec0c

  Copy full SHA for 23eec0c

• Add ignore pretty.

  nikomatsakis

  committed
  90252b8

  Copy full SHA for 90252b8

• Normalize bounds also in the UFCS cases (and get more systematic about it)

  nikomatsakis

  committed
  0aa7ba9

  Copy full SHA for 0aa7ba9

• Rework normalization so that it works recursively, since the types extracted from an impl are potentially in need of normalization. This also lays groundwork for further cleanup in other areas by d…

  Show description for 6cb425d
  nikomatsakis

  committed
  6cb425d

  Copy full SHA for 6cb425d

• Add tests for two random issues that seem to be fixed on this branch.

  Show description for 9675488
  nikomatsakis

  committed
  9675488

  Copy full SHA for 9675488

• Include projection bounds in superpredicates.

  Show description for 67dab2a
  nikomatsakis

  committed
  67dab2a

  Copy full SHA for 67dab2a

• Teach trans to drain fulfillment context. japaric encountered problems

  Show description for 0a2d531
  nikomatsakis

  committed
  0a2d531

  Copy full SHA for 0a2d531

• Fix whitespace.

  nikomatsakis

  committed
  cadd433

  Copy full SHA for cadd433

• Remove a TODO now that we handle normalization-derived bounds properly.

  nikomatsakis

  committed
  7ae1c6b

  Copy full SHA for 7ae1c6b

• Convert TODO to FIXME for now

  nikomatsakis

  committed
  004a567

  Copy full SHA for 004a567