Failing test for scala#13947

Author: cchantep

tests/run-macros/i13947.check

@@ -0,0 +1,2 @@
+scala.Predef.String
+scala.Int, scala.Float, scala.Long

tests/run-macros/i13947/Macro_1.scala

@@ -0,0 +1,12 @@
+import scala.quoted.*
+
+inline def printTypeParams[A]: Unit = ${ printTypeParamsImpl[A] }
+
+def printTypeParamsImpl[A: Type](using q: Quotes): Expr[Unit] = {
+  import q.reflect.*
+
+  val tparams: List[TypeRepr] = TypeRepr.of[A].typeParams
+  val debug = tparams.map(_.show).mkString(", ")
+
+  '{ println(${Expr(debug)}) }
+}

tests/run-macros/i13947/Test_2.scala

@@ -0,0 +1,3 @@
+@main def Test: Unit =
+  printTypeParams[Option[String]]
+  printTypeParams[Function2[Int, Float, Long]]