Fix #10863: Make show AnyKinded

Author: nicolasstucki

library/src/scala/quoted/Type.scala

@@ -12,7 +12,7 @@ end Type
 object Type:
 
  /** Show a source code like representation of this type without syntax highlight */
- def show[T](using Type[T])(using Quotes): String =
+ def show[T <: AnyKind](using Type[T])(using Quotes): String =
  import quotes.reflect._
  TypeTree.of[T].show
 

tests/run-macros/i10863.check

@@ -0,0 +1 @@
+[A >: scala.Nothing <: scala.Any] => scala.collection.immutable.List[A]

tests/run-macros/i10863/Macro_1.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+
+inline def showList: String =
+ ${ showListExpr }
+
+private def showListExpr[T: Type](using Quotes): Expr[String] =
+ Expr(Type.show[List])

tests/run-macros/i10863/Test_2.scala

@@ -0,0 +1,2 @@
+@main def Test =
+ println(showList)