Code

Implement existential types#52024

Code

Merged

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

oli-obk:existential_parseoli-obk/rust:existential_parseCopy head branch name to clipboard

Jul 19, 2018

Commits

Commits on Jul 18, 2018

• Implement existential types

  oli-obk

  committed
  53d2ebb

  Copy full SHA for 53d2ebb

• Typeck existential types properly

  oli-obk

  committed
  3e215a3

  Copy full SHA for 3e215a3

• Only check existential types, not the desugared impl Trait

  oli-obk

  committed
  2ed1aca

  Copy full SHA for 2ed1aca

• Add test for using existential types in associated types

  oli-obk

  committed
  4e8cc76

  Copy full SHA for 4e8cc76

• Don't call `local_def_id` twice on the same node id

  oli-obk

  committed
  160cbda

  Copy full SHA for 160cbda

• default impls for methods can contain existential types inside

  oli-obk

  committed
  6e09d91

  Copy full SHA for 6e09d91

• Move some tests around

  oli-obk

  committed
  3535159

  Copy full SHA for 3535159

• Split monster tests into smaller ones

  oli-obk

  committed
  0f05b4b

  Copy full SHA for 0f05b4b

• More documentation

  oli-obk

  committed
  41b0315

  Copy full SHA for 41b0315

• Simplify defining scope logic

  oli-obk

  committed
  8c1b0d7

  Copy full SHA for 8c1b0d7

• Match ergonomics

  oli-obk

  committed
  240fcdf

  Copy full SHA for 240fcdf

• Check lifetimes on existential types

  oli-obk

  committed
  feb139f

  Copy full SHA for feb139f

• Prepare for using wfcheck on existential types

  oli-obk

  committed
  fdd719a

  Copy full SHA for fdd719a

• Add some tests around associated types

  oli-obk

  committed
  f3b4492

  Copy full SHA for f3b4492

• Adjust run pass test to stricter existential type rules

  oli-obk

  committed
  442d5d8

  Copy full SHA for 442d5d8

Commits on Jul 19, 2018

• Generate a page for existential types

  oli-obk

  committed
  9017f79

  Copy full SHA for 9017f79