Merge pull request #10988 from dotty-staging/fix-#10863

Fix #10863: Make show `AnyKind`ed

Author: liufengyun

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)