diff --git a/compiler/test/dotc/pos-test-pickling.blacklist b/compiler/test/dotc/pos-test-pickling.blacklist
index 05f7cda9154d..862a452f0bca 100644
--- a/compiler/test/dotc/pos-test-pickling.blacklist
+++ b/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
diff --git a/tests/pos/i6507b.scala b/tests/pos/i6507b.scala
new file mode 100644
index 000000000000..95ef9230d8e4
--- /dev/null
+++ b/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)]
+}