Fix rebase

Author: liufengyun

library/src-bootstrapped/scala/quoted/Type.scala

@@ -6,6 +6,9 @@ import scala.runtime.quoted.Unpickler.Pickled
 
 sealed abstract class Type[T <: AnyKind] {
   type `$splice` = T
+
+  /** Show a source code like representation of this type */
+  final def show(implicit toolbox: Toolbox): String = toolbox.show(this.asInstanceOf[Type[Any]])
 }
 
 /** Some basic type tags, currently incomplete */

library/src/scala/tasty/reflect/Printers.scala

@@ -1484,7 +1484,7 @@ trait Printers
 
         case Type.SymRef(sym, prefix) if sym.isTerm =>
           prefix match {
-            case NoPrefix() =>
+            case NoPrefix() | Type.ThisType(Types.EmptyPackage() | Types.RootPackage()) =>
                 this += highlightTypeDef(sym.name, color)
             case _ =>
               printTypeOrBound(prefix)

tests/run/type-show/Macro_1.scala

@@ -2,7 +2,7 @@ import scala.quoted._
 import scala.tasty._
 
 object TypeToolbox {
-  inline def show[A]: String = ~showImpl('[A])
+  inline def show[A]: String = ${ showImpl('[A]) }
   private def showImpl[A, B](a: Type[A])(implicit refl: Reflection): Expr[String] = {
     import refl._
     import scala.quoted.Toolbox.Default._

tests/run/type-show/Test_2.scala

@@ -3,10 +3,6 @@ object Test {
   import TypeToolbox._
   def main(args: Array[String]): Unit = {
     val x = 5
-    println(show[Nil.type])
-    println(show[Int => Int])
-    println(show[(Int, String)])
-    println(show[x.type])
     assert(show[x.type] == "x.type")
     assert(show[Nil.type] == "scala.Nil.type")
     assert(show[Int] == "scala.Int")