Add regression test

Closes #6507

Author: nicolasstucki

compiler/test/dotc/pos-test-pickling.blacklist

@@ -15,6 +15,7 @@ i8052.scala
 tuple-filter.scala
 i7740a.scala
 i7740b.scala
+i6507b.scala
 
 # Stale symbol: package object scala
 seqtype-cycle

tests/pos/i6507b.scala

@@ -0,0 +1,10 @@
+import scala.compiletime._
+
+object Test {
+  transparent inline def summonValues[T]: Tuple = inline erasedValue[T] match {
+    case _: EmptyTuple => EmptyTuple
+    case _: (a *: b) => constValue[a] *: summonValues[b]
+  }
+
+  summonValues[(96, 97, 98)]
+}