Loosen skolem comparisons when rechecking

Treat a SolemType(T) as a supertype (as well as a subtype) of T.

Author: odersky

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

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

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

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

compiler/test/dotc/pos-test-recheck.excludes

@@ -1,8 +1,3 @@
 # Cannot compensate dealiasing due to false result dependency
 i6635a.scala
 i6682a.scala
-
-# Cannot handle closures with skolem types
-i6199b.scala
-i6199c.scala
-i11247.scala

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -229,9 +229,11 @@ class CompilationTests {
     ).checkCompile()
 
 
-  /** The purpose of this test is three-fold, being able to compile dotty
-   *  bootstrapped, and making sure that TASTY can link against a compiled
-   *  version of Dotty, and compiling the compiler using the SemanticDB generation
+  /** This test serves several purposes:
+   *   - being able to compile dotty bootstrapped,
+   *   - making sure that TASTY can link against a compiled version of Dotty,
+   *   - compiling the compiler using the SemanticDB generation
+   *   - compiling the compiler under -Yrecheck mode.
    */
   @Test def tastyBootstrap: Unit = {
     implicit val testGroup: TestGroup = TestGroup("tastyBootstrap/tests")