Merge pull request #2890 from dotty-staging/fix-#2140

Fix #2140: Avoid exponential subtype complexity

Author: odersky

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

@@ -983,17 +983,13 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
 
   /** A type has been covered previously in subtype checking if it
    *  is some combination of TypeRefs that point to classes, where the
-   *  combiners are RefinedTypes, RecTypes, AndTypes or AnnotatedTypes.
-   *  One exception: Refinements referring to basetype args are never considered
-   *  to be already covered. This is necessary because such refined types might
-   *  still need to be compared with a compareAliasRefined.
+   *  combiners are RefinedTypes, RecTypes, And/Or-Types or AnnotatedTypes.
    */
-  private def isCovered(tp: Type): Boolean = tp.dealias.stripTypeVar match {
+   private def isCovered(tp: Type): Boolean = tp.dealias.stripTypeVar match {
     case tp: TypeRef => tp.symbol.isClass && tp.symbol != NothingClass && tp.symbol != NullClass
-    case tp: ProtoType => false
     case tp: RefinedOrRecType => isCovered(tp.parent)
     case tp: AnnotatedType => isCovered(tp.underlying)
-    case AndType(tp1, tp2) => isCovered(tp1) && isCovered(tp2)
+    case tp: AndOrType => isCovered(tp.tp1) && isCovered(tp.tp2)
     case _ => false
   }
 

tests/pending/pos/i2140.scala

@@ -0,0 +1,30 @@
+object Test {
+  def main(args: Array[String]): Unit = {
+    val s = 1
+    val t = 23 match {
+      case 0  => (s)
+      case 1  => (s, s)
+      case 2  => (s, s, s)
+      case 3  => (s, s, s, s)
+      case 4  => (s, s, s, s, s)
+      case 5  => (s, s, s, s, s, s)
+      case 6  => (s, s, s, s, s, s, s)
+      case 7  => (s, s, s, s, s, s, s, s)
+      case 8  => (s, s, s, s, s, s, s, s, s)
+      case 9  => (s, s, s, s, s, s, s, s, s, s)
+      case 10 => (s, s, s, s, s, s, s, s, s, s, s)
+      case 11 => (s, s, s, s, s, s, s, s, s, s, s, s)
+      case 12 => (s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 13 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 14 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 15 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 16 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 17 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 18 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 19 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 20 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+      case 21 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+//      case 22 => (s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s, s)
+    }
+  }
+}