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

Fix #10863: Make show `AnyKind`ed
scala · Jan 4, 2021 · d1bb8d3 · d1bb8d3
2 parents bcecfa5 + 17f396d
commit d1bb8d3
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 1 deletion.
diff --git a/library/src/scala/quoted/Type.scala b/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
 

diff --git a/tests/run-macros/i10863.check b/tests/run-macros/i10863.check
@@ -0,0 +1 @@
+[A >: scala.Nothing <: scala.Any] => scala.collection.immutable.List[A]
diff --git a/tests/run-macros/i10863/Macro_1.scala b/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])
diff --git a/tests/run-macros/i10863/Test_2.scala b/tests/run-macros/i10863/Test_2.scala
@@ -0,0 +1,2 @@
+@main def Test =
+  println(showList)