Drop ERASEDIMPLICITMETHODtype in TastyFormat

`erased` parameters cannot be (old style) `implicit` anymore.

Author: odersky

compiler/src/dotty/tools/dotc/core/tasty/TastyFormat.scala

@@ -432,15 +432,14 @@ object TastyFormat {
   final val CONTEXTUALMETHODtype = 182
   final val ERASEDCONTEXTUALMETHODtype = 183
   final val IMPLICITMETHODtype = 184
-  final val ERASEDIMPLICITMETHODtype = 185
 
   final val MATCHtype = 190
   final val MATCHtpt = 191
 
   def methodType(isContextual: Boolean, isImplicit: Boolean, isErased: Boolean): Int = {
     val implicitOffset =
       if (isContextual) 2
-      else if (isImplicit) 4
+      else if (isImplicit) { assert(!isErased); 4 }
       else 0
     val erasedOffset = if (isErased) 1 else 0
     METHODtype + erasedOffset + implicitOffset
@@ -650,7 +649,6 @@ object TastyFormat {
     case CONTEXTUALMETHODtype => "CONTEXTUALMETHODtype"
     case ERASEDCONTEXTUALMETHODtype => "ERASEDCONTEXTUALMETHODtype"
     case IMPLICITMETHODtype => "IMPLICITMETHODtype"
-    case ERASEDIMPLICITMETHODtype => "ERASEDIMPLICITMETHODtype"
     case TYPELAMBDAtype => "TYPELAMBDAtype"
     case LAMBDAtpt => "LAMBDAtpt"
     case MATCHtype => "MATCHtype"
@@ -672,7 +670,7 @@ object TastyFormat {
     case POLYtype | TYPELAMBDAtype |
          METHODtype | ERASEDMETHODtype |
          CONTEXTUALMETHODtype | ERASEDCONTEXTUALMETHODtype |
-         IMPLICITMETHODtype | ERASEDIMPLICITMETHODtype => -1
+         IMPLICITMETHODtype => -1
     case _ => 0
   }
 }

compiler/src/dotty/tools/dotc/core/tasty/TastyPrinter.scala

@@ -86,8 +86,7 @@ class TastyPrinter(bytes: Array[Byte])(implicit ctx: Context) {
               printNat(); printTrees()
             case METHODtype | ERASEDMETHODtype |
                  CONTEXTUALMETHODtype | ERASEDCONTEXTUALMETHODtype |
-                 IMPLICITMETHODtype | ERASEDIMPLICITMETHODtype |
-                 POLYtype | TYPELAMBDAtype =>
+                 IMPLICITMETHODtype | POLYtype | TYPELAMBDAtype =>
               printTree()
               until(end) { printName(); printTree() }
             case PARAMtype =>

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

@@ -357,8 +357,6 @@ class TreeUnpickler(reader: TastyReader,
               readMethodic(ErasedContextualMethodType, _.toTermName)
             case IMPLICITMETHODtype =>
               readMethodic(ImplicitMethodType, _.toTermName)
-            case ERASEDIMPLICITMETHODtype =>
-              readMethodic(ErasedImplicitMethodType, _.toTermName)
             case TYPELAMBDAtype =>
               readMethodic(HKTypeLambda, _.toTypeName)
             case PARAMtype =>