Consider GADT upper bounds when upcasting the scrutinee type

Author: Linyxus

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

@@ -138,13 +138,28 @@ trait PatternTypeConstrainer { self: TypeComparer =>
           val andType = buildAndType(baseClasses)
           !andType.exists || constrainPatternType(pat, andType)
         case _ =>
-          val upcasted: Type = scrut match {
-            case scrut: TypeProxy => scrut.superType
-            case _ => NoType
+          def tryGadtBounds = scrut match {
+            case scrut: TypeRef =>
+              ctx.gadt.bounds(scrut.symbol) match {
+                case tb: TypeBounds =>
+                  val hi = tb.hi
+                  constrainPatternType(pat, hi)
+                case null => false
+              }
+            case _ => false
           }
-          if (upcasted.exists)
-            tryConstrainSimplePatternType(pat, upcasted) || constrainUpcasted(upcasted)
-          else true
+
+          def trySuperType =
+            val upcasted: Type = scrut match {
+              case scrut: TypeProxy =>
+                scrut.superType
+              case _ => NoType
+            }
+            if (upcasted.exists)
+              tryConstrainSimplePatternType(pat, upcasted) || constrainUpcasted(upcasted)
+            else true
+
+          tryGadtBounds || trySuperType
       }
     }
 

tests/pos/i15274.scala

@@ -0,0 +1,6 @@
+enum Format[A]:
+  case Str[Next](next: Format[Next]) extends Format[(String, Next)]
+
+def printf[A](format: Format[A], params: A): Unit = (format, params) match
+  case (Format.Str(next), (str, rest)) =>
+    val s: String = str