Don't keep SkolemTypes in TASTY

SkolemTypes are no longer needed when Pickling because they exist only
for checking type-safety. After the typer, we can safely eliminate them.
Not having skolem types in TASTY simplifies the format and avoids having
to explain a difficult concept.

1 files changed, 11 insertions, 13 deletions

diff --git a/src/dotty/tools/dotc/core/tasty/TastyFormat.scala b/src/dotty/tools/dotc/core/tasty/TastyFormat.scala
index 1022fc4da..630e25a32 100644
--- a/src/dotty/tools/dotc/core/tasty/TastyFormat.scala
+++ b/src/dotty/tools/dotc/core/tasty/TastyFormat.scala
@@ -104,7 +104,6 @@ Standard-Section: "ASTs" TopLevelStat*
                   TERMREF               possiblySigned_NameRef qual_Type
                   THIS                  clsRef_Type
                   REFINEDthis           refinedType_ASTRef
-                  SKOLEMtype            Type_ASTRef
                   SHARED                path_ASTRef
 
   Constant      = UNITconst
@@ -261,17 +260,16 @@ object TastyFormat {
   final val TYPEREFdirect = 66
   final val TERMREFpkg = 67
   final val TYPEREFpkg = 68
-  final val SKOLEMtype = 69
-  final val REFINEDthis = 70
-  final val BYTEconst = 71
-  final val SHORTconst = 72
-  final val CHARconst = 73
-  final val INTconst = 74
-  final val LONGconst = 75
-  final val FLOATconst = 76
-  final val DOUBLEconst = 77
-  final val STRINGconst = 78
-  final val IMPORTED = 79
+  final val REFINEDthis = 69
+  final val BYTEconst = 70
+  final val SHORTconst = 71
+  final val CHARconst = 72
+  final val INTconst = 73
+  final val LONGconst = 74
+  final val FLOATconst = 75
+  final val DOUBLEconst = 76
+  final val STRINGconst = 77
+  final val IMPORTED = 78
 
   final val THIS = 96
   final val CLASSconst = 97
@@ -421,7 +419,7 @@ object TastyFormat {
     case TYPEREFdirect => "TYPEREFdirect"
     case TERMREFpkg => "TERMREFpkg"
     case TYPEREFpkg => "TYPEREFpkg"
-    case SKOLEMtype => "SKOLEMtype"
+    case REFINEDthis => "REFINEDthis"
     case BYTEconst => "BYTEconst"
     case SHORTconst => "SHORTconst"
     case CHARconst => "CHARconst"