Code

Add subtype annotations#4625

Code

Closed

odersky wants to merge 15 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-subtype-annotationsdotty-staging/dotty:add-subtype-annotationsCopy head branch name to clipboard

Commits

Commits on Jun 6, 2018

• Add transparent modifier

  Show description for 4c4b403
  odersky

  committed
  4c4b403

  Copy full SHA for 4c4b403

• Fix "supercalls not allowed in inlined code" error logic

  odersky

  committed
  6331cd8

  Copy full SHA for 6331cd8

• Some polishings in RefinedPrinter

  Show description for 2afb505
  odersky

  committed
  2afb505

  Copy full SHA for 2afb505

• Improve error message

  odersky

  committed
  41c19c3

  Copy full SHA for 41c19c3

• More polishings and tests

  odersky

  committed
  62b97b8

  Copy full SHA for 62b97b8

• Fix wrong owner when reading annotations.

  Show description for 97f2eec
  odersky

  committed
  97f2eec

  Copy full SHA for 97f2eec

• Drop BodyOfTransparent mode bit

  Show description for b359c7d
  odersky

  committed
  b359c7d

  Copy full SHA for b359c7d

• Introduce SubTypeAnnotations

  Show description for c7cb901
  odersky

  committed
  c7cb901

  Copy full SHA for c7cb901

• Splict dealias 1 WIP

  odersky

  committed
  b3c3bf7

  Copy full SHA for b3c3bf7

Commits on Jun 7, 2018

• Split dealias 2.1 WIP

  odersky

  committed
  a8ffa57

  Copy full SHA for a8ffa57

• Split dealias WIP 3

  odersky

  committed
  9a14946

  Copy full SHA for 9a14946

• Split dealias WIP 4

  odersky

  committed
  37b9e58

  Copy full SHA for 37b9e58

• Split dealias WIP 6

  odersky

  committed
  d0920a5

  Copy full SHA for d0920a5

• Split dealias WIP 7

  odersky

  committed
  9cf6eab

  Copy full SHA for 9cf6eab

• Fix typo

  odersky

  committed
  6284a20

  Copy full SHA for 6284a20