Add tests for TypeRepr.isTupleN

Author: nicolasstucki

tests/run-macros/TypeRepr-isTupleN/Macro_1.scala

@@ -0,0 +1,8 @@
+import scala.quoted.*
+
+inline def isTupleN[T]: Boolean = ${ isTupleNImpl[T] }
+
+private def isTupleNImpl[T: Type](using Quotes): Expr[Boolean] = {
+  import quotes.reflect.*
+  Expr(TypeRepr.of[T].isTupleN)
+}

tests/run-macros/TypeRepr-isTupleN/Test_2.scala

@@ -0,0 +1,38 @@
+@main def Test = {
+  assert(isTupleN[Tuple1[Int]])
+  assert(isTupleN[(Int, Int)])
+  assert(isTupleN[(Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+
+  type Tup = (Int, Int)
+  assert(isTupleN[Tup])
+
+  assert(!isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)]) // No tuple 23
+  assert(!isTupleN[Tuple])
+  assert(!isTupleN[EmptyTuple])
+  assert(!isTupleN[NonEmptyTuple])
+  assert(!isTupleN[Int *: Tuple])
+
+  assert(!isTupleN[Any])
+  assert(!isTupleN[Int])
+  assert(!isTupleN[Object])
+  assert(!isTupleN[Nothing])
+}