Code

Add refining annotations#4626

Code

Merged

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

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

Jun 8, 2018

Commits

Commits on Jun 7, 2018

• Introduce RefiningAnnotations

  Show description for 4800cef
  odersky

  committed
  4800cef

  Copy full SHA for 4800cef

• Refine dealiasing operations

  Show description for 10b59f8
  odersky

  committed
  10b59f8

  Copy full SHA for 10b59f8

• Doc comment RefiningAnnotation class

  odersky

  committed
  984afee

  Copy full SHA for 984afee

Commits on Jun 8, 2018

• Address review comments

  odersky

  committed
  81a5cf9

  Copy full SHA for 81a5cf9

• Fix indentation

  odersky

  committed
  dde7ce9

  Copy full SHA for dde7ce9