Merge pull request #15032 from dotty-staging/fix-15028

Add missing cases in SourceCode printer

Author: anatoliykmetyuk

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

@@ -530,9 +530,12 @@ object SourceCode {
  case Closure(meth, _) =>
  printTree(meth)
 
- case _:Unapply | _:Alternatives | _:Bind =>
+ case _:TypedOrTest | _:Unapply | _:Alternatives | _:Bind =>
  printPattern(tree)
 
+ case tree: CaseDef =>
+ printCaseDef(tree)
+
  case _ =>
  throw new MatchError(tree.show(using Printer.TreeStructure))
 

tests/pos-macros/i15028a/Macro_1.scala

@@ -0,0 +1,9 @@
+import scala.quoted.*
+
+inline def myTreeTraverse[T](inline expr: T): T = ${ treeTraverseImpl('expr) }
+
+def treeTraverseImpl[T: Type](value: Expr[T])(using quotes: Quotes): Expr[T] = {
+ import quotes.reflect.*
+ (new TreeTraverser {}).traverseTree(value.asTerm)(Symbol.spliceOwner)
+ value
+}

tests/pos-macros/i15028a/Test_2.scala

@@ -0,0 +1,6 @@
+def test() =
+ myTreeTraverse {
+ Option.empty[Int] match
+ case Some(n) => 1
+ case None => 5
+ }

tests/pos-macros/i15028b/Macro_1.scala

@@ -0,0 +1,14 @@
+import scala.quoted.*
+
+inline def myTreeTraverse[T](inline expr: T): T = ${ treeTraverseImpl('expr) }
+
+def treeTraverseImpl[T: Type](value: Expr[T])(using quotes: Quotes): Expr[T] = {
+ import quotes.reflect.*
+ (new TreeTraverser {
+ override def traverseTree(tree: Tree)(owner: Symbol): Unit =
+ tree.show
+ tree.show(using Printer.TreeStructure)
+ super.traverseTree(tree)(owner)
+ }).traverseTree(value.asTerm)(Symbol.spliceOwner)
+ value
+}

tests/pos-macros/i15028b/Test_2.scala

@@ -0,0 +1,7 @@
+def test() =
+ myTreeTraverse {
+ println(1: Int)
+ Option.empty[Int] match
+ case Some(n) => 1
+ case None => 5
+ }