Code

Remove universes from ty::ParamEnv#49313

Code

Merged

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

sgrif:sg-revert-stuffsgrif/rust:sg-revert-stuffCopy head branch name to clipboard

Mar 29, 2018

Commits

Commits on Mar 23, 2018

• Revert "change skolemizations to use universe index"

  Show description for 3e971eb
  sgrif

  committed
  3e971eb

  Copy full SHA for 3e971eb

• Revert "fix tests in `librustc_driver`"

  Show description for 8128ae3
  sgrif

  committed
  8128ae3

  Copy full SHA for 8128ae3

• Revert "fix tidy error"

  Show description for 5ecefc5
  sgrif

  committed
  5ecefc5

  Copy full SHA for 5ecefc5

• Revert "change skolemizations to use universe index"

  Show description for 26cebda
  sgrif

  committed
  26cebda

  Copy full SHA for 26cebda

• Revert "introduce `UniverseIndex` into `ParamEnv`"

  Show description for 1171ebf
  sgrif

  committed
  1171ebf

  Copy full SHA for 1171ebf

• Revert "add universes to type inference variables"

  Show description for c6935e5
  sgrif

  committed
  c6935e5

  Copy full SHA for c6935e5

• Fix failures after rebase

  sgrif

  committed
  555f718

  Copy full SHA for 555f718

• Fix rustdoc

  sgrif

  committed
  dd60bea

  Copy full SHA for dd60bea