Fix quote patterns with more than 22 splices

Author: nicolasstucki

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

@@ -942,6 +942,7 @@ class Definitions {
   def TupleXXLModule(using Context): Symbol = TupleXXLClass.companionModule
 
     def TupleXXL_fromIterator(using Context): Symbol = TupleXXLModule.requiredMethod("fromIterator")
+    def TupleXXL_unapplySeq(using Context): Symbol = TupleXXLModule.requiredMethod(nme.unapplySeq)
 
   @tu lazy val RuntimeTupleMirrorTypeRef: TypeRef = requiredClassRef("scala.runtime.TupleMirror")
 

compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala

@@ -101,7 +101,10 @@ object QuotePatterns:
             .select(nme.unapply)
             .appliedToTypes(patternTypes)
         UnApply(tupleNUnapply, Nil, patterns, defn.tupleType(patternTypes))
-      else ???
+      else
+        val tupleXXLUnapplySeq = ref(defn.TupleXXL_unapplySeq)
+        val unapply = UnApply(tupleXXLUnapplySeq, Nil, patterns, defn.tupleType(patternTypes))
+        Typed(unapply, TypeTree(defn.TupleXXLClass.typeRef))
 
     val patType =
       val quotedTypes =
@@ -168,7 +171,7 @@ object QuotePatterns:
     val patterns = patternTuple match
       case _: Ident => Nil // EmptyTuple
       case UnApply(_, _, patterns) => patterns // TupleN
-      // TODO: `*:`
+      case Typed(UnApply(_, _, patterns), _) => patterns // TupleXXL
       case _ => return None
     val shape = implicits match
       case Apply(Select(Quote(shape, _), _), _) :: Nil => shape

tests/run-macros/quote-match-more-that-22-splices/Macro_1.scala

@@ -0,0 +1,8 @@
+import scala.quoted.*
+
+inline def f(inline x: Any) = ${ fExpr('x) }
+
+def fExpr(x: Expr[Any])(using Quotes): Expr[Any] =
+  x match
+    case '{ ($x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x16, $x17, $x18, $x19, $x20, $x21, $x22, $x23, $x24) } =>
+      '{ ($x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x16, $x17, $x18, $x19, $x20, $x21, $x22, $x23, $x24) }

tests/run-macros/quote-match-more-that-22-splices/Test_2.scala

@@ -0,0 +1,4 @@
+@main def Test =
+  val t1 = f((1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24))
+  val t2 = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24)
+  assert(t1 == t2)