test Expr.ofTuple

Author: bishabosha

tests/run-macros/i17257/a.scala

@@ -9,6 +9,9 @@ object Helpers:
   inline def summonAllOptimized[T <: Tuple]: T =
     ${ summonAllOptimizedImpl[T] }
 
+  inline def summon23[E]: (E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E) =
+    ${ summon23Impl[E] }
+
   private def summonAllOptimizedImpl[T <: Tuple: Type](using q: Quotes): Expr[T] = {
     import q.reflect.*
 
@@ -22,6 +25,18 @@ object Helpers:
       .asExprOf[T]
   }
 
+  private def summon23Impl[E: Type](using q: Quotes): Expr[(E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E, E)] = {
+    import q.reflect.*
+
+    val e = Expr.summon[E].getOrElse(report.errorAndAbort(s"Unable to to find implicit instance for ${TypeRepr.of[E].show}"))
+
+    val tuple = (e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e)
+
+    assert(tuple.size == 23)
+
+    Expr.ofTuple(tuple)
+  }
+
   @tailrec
   private[derivation] def typesOfTuple(
       using q: Quotes

tests/run-macros/i17257/b.scala

@@ -7,6 +7,7 @@ package derivation {
       ValueOf["a"], ValueOf["a"], ValueOf["a"], ValueOf["a"], ValueOf["a"],
       ValueOf["a"], ValueOf["a"], ValueOf["a"] //Commenting out the last one here fixes the compile error
     )]
+  val test2 = Helpers.summon23[ValueOf["a"]]
 }
 @main def Test =
   def assertions(list: List[ValueOf["a"]]): Unit =
@@ -19,3 +20,4 @@ package derivation {
       "a", "a", "a"
     ))
   assertions(derivation.test.toList)
+  assertions(derivation.test2.toList)