Code

Fix #9028: Introduce super traits#9032

Code

Merged

anatoliykmetyuk merged 9 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#9028dotty-staging/dotty:fix-#9028Copy head branch name to clipboard

Jun 10, 2020

Commits

Commits on Jun 9, 2020

• Move Enum.scala to correct directory

  odersky

  committed
  2509450

  Copy full SHA for 2509450

• Drop HigherKinded flag

  odersky

  committed
  86bd4e9

  Copy full SHA for 86bd4e9

• Fix #9028: Introduce super traits

  Show description for ff9798d
  odersky

  committed
  ff9798d

  Copy full SHA for ff9798d

• Tweak condition when to drop super traits

  Show description for 2b6342e
  odersky

  committed
  2b6342e

  Copy full SHA for 2b6342e

• Add doc page

  odersky

  committed
  cb063cc

  Copy full SHA for cb063cc

• Add superTrait annotation

  Show description for e678b93
  odersky

  committed
  e678b93

  Copy full SHA for e678b93

• add @superTrait to stdlib

  odersky

  committed
  88636e1

  Copy full SHA for 88636e1

• Assume supertraits in stdlib

  Show description for 0a148c3
  odersky

  committed
  0a148c3

  Copy full SHA for 0a148c3

• Add explanation for @superTrait annotation to docs

  odersky

  committed
  116c878

  Copy full SHA for 116c878