Code

Implement sealed type parameters#17422

Code

Merged

odersky merged 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:change-cc-syntax-1dotty-staging/dotty:change-cc-syntax-1Copy head branch name to clipboard

May 10, 2023

Commits

Commits on May 10, 2023

• Do postchecking inside out.

  Show description for 8eb125d
  odersky

  committed
  8eb125d

  Copy full SHA for 8eb125d

• Implement sealed type variables

  Show description for 05bce38
  odersky

  committed
  05bce38

  Copy full SHA for 05bce38

• Deprecate unsafe{Box,Unbox} methods

  odersky

  committed
  d96b65c

  Copy full SHA for d96b65c

• Update MiMaFilters

  odersky

  committed
  60c541e

  Copy full SHA for 60c541e

• Change * to cap in compiler comments and one output string

  odersky

  committed
  a8f583d

  Copy full SHA for a8f583d