Drop widenSkolems

Does not seem to be needed anymore

Author: odersky

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

@@ -303,9 +303,6 @@ object Phases {
     /** If set, implicit search is enabled */
     def allowsImplicitSearch: Boolean = false
 
-    /** If set equate Skolem types with underlying types */
-    def widenSkolems: Boolean = false
-
     /** List of names of phases that should precede this phase */
     def runsAfter: Set[String] = Set.empty
 

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

@@ -819,8 +819,6 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
             false
         }
         compareClassInfo
-      case tp2: SkolemType =>
-        ctx.phase.widenSkolems && recur(tp1, tp2.info) || fourthTry
       case _ =>
         fourthTry
     }

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

@@ -98,8 +98,6 @@ abstract class Recheck extends Phase, SymTransformer:
     // TODO: investigate what goes wrong we Ycheck directly after rechecking.
     // One failing test is pos/i583a.scala
 
-  override def widenSkolems = true
-
   /** Change any `ResetPrivate` flags back to `Private` */
   def transformSym(sym: SymDenotation)(using Context): SymDenotation =
     if sym.isAllOf(Recheck.ResetPrivateParamAccessor) then