Code

Rebased refactorings for Chalk#47861

Code

Merged

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

sgrif:sg-rebase-chalkify-universe-refactoringssgrif/rust:sg-rebase-chalkify-universe-refactoringsCopy head branch name to clipboard

Mar 2, 2018

Commits

Commits on Mar 1, 2018

• introduce `Universe` struct

  

  nikomatsakis

  authored and

  sgrif

  committed
  803bd76

  Copy full SHA for 803bd76

• add some comments to `Obligation`

  

  nikomatsakis

  authored and

  sgrif

  committed
  e7efce2

  Copy full SHA for e7efce2

• introduce `UniverseIndex` into `ParamEnv`

  Show description for d4df52c
  

  nikomatsakis

  authored and

  sgrif

  committed
  d4df52c

  Copy full SHA for d4df52c

• use `{}` for `Known` variant just for more parity

  

  nikomatsakis

  authored and

  sgrif

  committed
  d516b26

  Copy full SHA for d516b26

• make `Default` Copy and Clone

  

  nikomatsakis

  authored and

  sgrif

  committed
  7112d65

  Copy full SHA for 7112d65

• kill custom type inference defaults (these don't really work anyway)

  

  nikomatsakis

  authored and

  sgrif

  committed
  047a8d0

  Copy full SHA for 047a8d0

• kill supporting code from type-variable defaults

  Show description for b680b12
  

  nikomatsakis

  authored and

  sgrif

  committed
  b680b12

  Copy full SHA for b680b12

• obtain `UnificationTable` and `snapshot_vec` from `ena` instead

  Show description for c7953bb
  

  nikomatsakis

  authored and

  sgrif

  committed
  c7953bb

  Copy full SHA for c7953bb

• store type values in the unification table directly

  

  nikomatsakis

  authored and

  sgrif

  committed
  57a593f

  Copy full SHA for 57a593f

• correct subtle bug in the type variable code

  

  nikomatsakis

  authored and

  sgrif

  committed
  ccd92c2

  Copy full SHA for ccd92c2

• have `probe()` return `TypeVariableValue`

  

  nikomatsakis

  authored and

  sgrif

  committed
  69fe43c

  Copy full SHA for 69fe43c

• remove unnecessary clause propagating divergence

  Show description for 44d9929
  

  nikomatsakis

  authored and

  sgrif

  committed
  44d9929

  Copy full SHA for 44d9929

• add universes to type inference variables

  

  nikomatsakis

  authored and

  sgrif

  committed
  13efaf0

  Copy full SHA for 13efaf0

• change skolemizations to use universe index

  

  nikomatsakis

  authored and

  sgrif

  committed
  35e78b5

  Copy full SHA for 35e78b5

• fix tidy error

  

  nikomatsakis

  authored and

  sgrif

  committed
  a985634

  Copy full SHA for a985634

• fix tests in `librustc_driver`

  

  nikomatsakis

  authored and

  sgrif

  committed
  17df455

  Copy full SHA for 17df455

• change skolemizations to use universe index

  Show description for 755bdaa
  sgrif

  committed
  755bdaa

  Copy full SHA for 755bdaa

• Remove dead code

  Show description for c301838
  sgrif

  committed
  c301838

  Copy full SHA for c301838

• Re-add some removed uses of `Kind`

  Show description for 4fb201d
  sgrif

  committed
  4fb201d

  Copy full SHA for 4fb201d

• Fix bad rebase

  sgrif

  committed
  e9eb1a6

  Copy full SHA for e9eb1a6

• Fix breakage in rustdoc

  sgrif

  committed
  a6d8533

  Copy full SHA for a6d8533

• Bump ena

  sgrif

  committed
  fec4d3b

  Copy full SHA for fec4d3b