Cleanup tests

Author: mbovel

tests/run/erased-inline-product.scala renamed to tests/run/erased-inline-product-1.scala

@@ -18,4 +18,4 @@ inline def size[T]: Long =
       case _ => error(s"unsupported type")
 
 @main def Test =
-  println(size[(Int, Long)])
+  assert(size[(Int, Long)] == 12)

tests/run/erased-inline-product-2.check

@@ -18,4 +18,4 @@ inline def size[T]: Long =
       case _ => error(s"unsupported type")
 
 @main def Test =
-  println(size[(Int, Long)])
+  assert(size[(Int, Long)] == 12)

tests/run/erased-inline-product-2.scala

@@ -0,0 +1,21 @@
+import scala.compiletime.{erasedValue, summonInline, error}
+
+inline def sizeTuple[T <: Tuple](): Long =
+  inline erasedValue[T] match
+    case _: EmptyTuple => 0
+    case _: (h *: t)   => size[h] + sizeTuple[t]()
+
+inline def sizeProduct[T](m: scala.deriving.Mirror.ProductOf[T]): Long =
+  sizeTuple[m.MirroredElemTypes]()
+
+inline def size[T]: Long =
+  inline erasedValue[T] match
+    case _: Char    => 2
+    case _: Int     => 4
+    case _: Long    => 8
+    case _: Double  => 8
+    case _: Product => sizeProduct[T](summonInline[scala.deriving.Mirror.ProductOf[T]])
+    case _          => error(s"unsupported type")
+
+@main def Test =
+  assert(size[(Int, Long)] == 12)