Fix #2140: Avoid exponential subtype complexity

Avoid exponential subtype complexity arising from revisiting |-types
unnecessarily.

Author: odersky

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

@@ -993,7 +993,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
     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)
+    }
+  }
+}