Code

Cleanup and improve realizability#5558

Code

Closed

Blaisorblade wants to merge 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-realizabilitydotty-staging/dotty:fix-realizabilityCopy head branch name to clipboard

Commits

Commits on Jan 16, 2019

• Show that Any#L is still rejected when written by the user

  Blaisorblade

  committed
  3f8219d

  Copy full SHA for 3f8219d

• Drop stray comma

  Blaisorblade

  committed
  e6b5abe

  Copy full SHA for e6b5abe

• Seal Realizability

  Blaisorblade

  committed
  54a92b1

  Copy full SHA for 54a92b1

• Add stress-test for realizability checking

  Show description for a688061
  Blaisorblade

  committed
  a688061

  Copy full SHA for a688061