Fix pretty printer to handle using and erased modifier

Author: smarter

compiler/src/scala/quoted/runtime/impl/printers/SourceCode.scala

@@ -809,13 +809,10 @@ object SourceCode {
         case Nil => Flags.EmptyFlags
         case arg :: _ => arg.symbol.flags
       }
-      if (argFlags.is(Flags.Erased | Flags.Given)) {
-        if (argFlags.is(Flags.Given)) this += " given"
-        if (argFlags.is(Flags.Erased)) this += " erased"
-        this += " "
-      }
       inParens {
         if (argFlags.is(Flags.Implicit) && !argFlags.is(Flags.Given)) this += "implicit "
+        if (argFlags.is(Flags.Given)) this += "using "
+        if (argFlags.is(Flags.Erased)) this += "erased "
 
         def printSeparated(list: List[ValDef]): Unit = list match {
           case Nil =>

tests/run-macros/term-show.check

@@ -0,0 +1,5 @@
+@scala.annotation.internal.SourceFile("tests/run-macros/term-show/Test_2.scala") trait A() extends java.lang.Object {
+  def imp(x: scala.Int)(implicit str: scala.Predef.String): scala.Int
+  def use(`x₂`: scala.Int)(using `str₂`: scala.Predef.String): scala.Int
+  def era(`x₃`: scala.Int)(erased `str₃`: scala.Predef.String): scala.Int
+}

tests/run-macros/term-show/Macro_1.scala

@@ -0,0 +1,11 @@
+import scala.quoted.*
+
+object TypeToolbox {
+  inline def show(inline className: String): String = ${ showImpl('className) }
+  private def showImpl(className: Expr[String])(using Quotes) : Expr[String] =
+    import quotes.reflect.*
+    val Expr(name) = className: @unchecked
+    val res = Symbol.requiredClass(name).tree.show
+    println(res)
+    Expr(res)
+}

tests/run-macros/term-show/Test_2.scala

@@ -0,0 +1,13 @@
+import scala.language.experimental.erasedDefinitions
+
+trait A:
+  def imp(x: Int)(implicit str: String): Int
+  def use(x: Int)(using str: String): Int
+  def era(x: Int)(erased str: String): Int
+
+object Test {
+  import TypeToolbox.*
+  def main(args: Array[String]): Unit = {
+    println(show("A"))
+  }
+}