Drop unused code

Author: odersky

compiler/src/dotty/tools/dotc/transform/ContextFunctionResults.scala

@@ -99,34 +99,6 @@ object ContextFunctionResults:
     normalParamCount(sym.info)
   end totalParamCount
 
-  /** The rightmost context function type in the result type of `meth`
-   *  that represents `paramCount` curried, non-erased parameters that
-   *  are included in the `contextResultCount` of `meth`.
-   *  Example:
-   *
-   *  Say we have `def m(x: A): B ?=> (C1, C2, C3) ?=> D ?=> E ?=> F`,
-   *  paramCount == 4, and the contextResultCount of `m` is 3.
-   *  Then we return the type `(C1, C2, C3) ?=> D ?=> E ?=> F`, since this
-   *  type covers the 4 rightmost parameters C1, C2, C3 and D before the
-   *  contextResultCount runs out at E ?=> F.
-   *  Erased parameters are ignored; they contribute nothing to the
-   *  parameter count.
-   */
-  def contextFunctionResultTypeCovering(meth: Symbol, paramCount: Int)(using Context) =
-    atPhase(erasurePhase) {
-      // Recursive instances return pairs of context types and the
-      // # of parameters they represent.
-      def missingCR(tp: Type, crCount: Int): (Type, Int) =
-        if crCount == 0 then (tp, 0)
-        else
-          val defn.ContextFunctionType(formals, resTpe, isErased) = tp: @unchecked
-          val result @ (rt, nparams) = missingCR(resTpe, crCount - 1)
-          assert(nparams <= paramCount)
-          if nparams == paramCount || isErased then result
-          else (tp, nparams + formals.length)
-      missingCR(meth.info.finalResultType, contextResultCount(meth))._1
-    }
-
   /** The `depth` levels nested context function type in the result type of `meth` */
   def contextFunctionResultTypeAfter(meth: Symbol, depth: Int)(using Context) =
     def recur(tp: Type, n: Int): Type =

compiler/src/dotty/tools/dotc/transform/Erasure.scala

@@ -57,6 +57,7 @@ class Erasure extends Phase with DenotTransformer {
             case _                              => false
           }
         }
+
       def erasedName =
         if ref.is(Flags.Method)
             && contextResultsAreErased(ref.symbol)
@@ -381,29 +382,26 @@ object Erasure {
      */
     def adaptToType(tree: Tree, pt: Type)(using Context): Tree = pt match
       case _: FunProto | AnyFunctionProto => tree
-      case _ =>
-        /*val ahead = tree.attachmentOrElse(needsEta, 0)
-        if ahead > 0 then etaExpand(tree, ahead, pt)
-        else*/ tree.tpe.widen match
-          case mt: MethodType if tree.isTerm =>
-            assert(mt.paramInfos.isEmpty)
-            adaptToType(tree.appliedToNone, pt)
-          case tpw =>
-            if (pt.isInstanceOf[ProtoType] || tree.tpe <:< pt)
-              tree
-            else if (tpw.isErasedValueType)
-              if (pt.isErasedValueType) then
-                tree.asInstance(pt)
-              else
-                adaptToType(box(tree), pt)
-            else if (pt.isErasedValueType)
-              adaptToType(unbox(tree, pt), pt)
-            else if (tpw.isPrimitiveValueType && !pt.isPrimitiveValueType)
-              adaptToType(box(tree), pt)
-            else if (pt.isPrimitiveValueType && !tpw.isPrimitiveValueType)
-              adaptToType(unbox(tree, pt), pt)
+      case _ => tree.tpe.widen match
+        case mt: MethodType if tree.isTerm =>
+          assert(mt.paramInfos.isEmpty)
+          adaptToType(tree.appliedToNone, pt)
+        case tpw =>
+          if (pt.isInstanceOf[ProtoType] || tree.tpe <:< pt)
+            tree
+          else if (tpw.isErasedValueType)
+            if (pt.isErasedValueType) then
+              tree.asInstance(pt)
             else
-              cast(tree, pt)
+              adaptToType(box(tree), pt)
+          else if (pt.isErasedValueType)
+            adaptToType(unbox(tree, pt), pt)
+          else if (tpw.isPrimitiveValueType && !pt.isPrimitiveValueType)
+            adaptToType(box(tree), pt)
+          else if (pt.isPrimitiveValueType && !tpw.isPrimitiveValueType)
+            adaptToType(unbox(tree, pt), pt)
+          else
+            cast(tree, pt)
     end adaptToType
 
     /** The following code: