Code

Refinements to realizability#5568

Code

Merged

Blaisorblade merged 6 commits intoscala:masterscala/scala3:masterfrom dotty-staging:fix-#4031-v2dotty-staging/dotty:fix-#4031-v2Copy head branch name to clipboardDec 7, 2018

+70-25

Commits

Commits on Dec 5, 2018

• Harden RefChecks

  Show description for f7b08b6
  odersky

  committed
  f7b08b6

  Copy full SHA for f7b08b6

• Special case comparison with Any

  Show description for b3dd07c
  odersky

  committed
  b3dd07c

  Copy full SHA for b3dd07c

• Clean up logic for isStable

  odersky

  committed
  0c18756

  Copy full SHA for 0c18756

• Refinements to realizability

  Show description for 82a1721
  odersky

  committed
  82a1721

  Copy full SHA for 82a1721

• Some polishings

  odersky

  committed
  6bf171f

  Copy full SHA for 6bf171f

Commits on Dec 6, 2018

• Be more careful setting the Stable flag

  odersky

  committed
  483a595

  Copy full SHA for 483a595