Moved PolyFunction sig logic to TypeErasure#sigName

Author: milessabin

compiler/src/dotty/tools/dotc/core/TypeErasure.scala

@@ -605,6 +605,8 @@ class TypeErasure(isJava: Boolean, semiEraseVCs: Boolean, isConstructor: Boolean
       case tp: TypeVar =>
         val inst = tp.instanceOpt
         if (inst.exists) sigName(inst) else tpnme.Uninstantiated
+      case RefinedType(parent, nme.apply, refinedInfo) if parent.typeSymbol eq defn.PolyFunctionClass =>
+        sigName(defn.FunctionType(refinedInfo.resultType.paramNamess.head.length))
       case tp: TypeProxy =>
         sigName(tp.underlying)
       case _: ErrorType | WildcardType | NoType =>

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -3196,15 +3196,7 @@ object Types {
 
 
     def computeSignature(implicit ctx: Context): Signature = {
-      def polyFunctionSignature(tp: Type): Type = tp match {
-        case RefinedType(parent, nme.apply, refinedInfo) if parent.typeSymbol eq defn.PolyFunctionClass =>
-          val res = refinedInfo.resultType
-          val paramss = res.paramNamess
-          defn.FunctionType(paramss.head.length)
-        case _ => tp
-      }
-
-      val params = if (isErasedMethod) Nil else paramInfos.mapConserve(polyFunctionSignature)
+      val params = if (isErasedMethod) Nil else paramInfos
       resultSignature.prepend(params, isJavaMethod)
     }