Merge pull request #8768 from dotty-staging/fix-#8746

Fix #8746: Fix quote matcher block normalization

Author: liufengyun

library/src/scala/internal/quoted/Matcher.scala

@@ -202,7 +202,10 @@ private[quoted] object Matcher {
         /** Normalize the tree */
         def normalize(tree: Tree): Tree = tree match {
           case Block(Nil, expr) => normalize(expr)
-          case Block(stats1, Block(stats2, expr)) => normalize(Block(stats1 ::: stats2, expr))
+          case Block(stats1, Block(stats2, expr)) =>
+            expr match
+              case _: Closure => tree
+              case _ => normalize(Block(stats1 ::: stats2, expr))
           case Inlined(_, Nil, expr) => normalize(expr)
           case _ => tree
         }

tests/run/i8746/Macro_1.scala

@@ -0,0 +1,10 @@
+import scala.quoted._
+
+object Macro {
+  inline def mac(): String = ${ macImpl() }
+  def macImpl()(using qctx: QuoteContext): Expr[String] =
+    '{(x: String) => "anything"} match
+      case '{ (in: String) => ($out: $tpe2) } => Expr(out.toString)
+      case _ => ???
+
+}

tests/run/i8746/Test_2.scala

@@ -0,0 +1,5 @@
+import Macro._
+
+@main def Test() = { // hello
+  mac()
+}

tests/run/i8746b/Macro_1.scala

@@ -0,0 +1,12 @@
+
+import scala.quoted._
+
+object Macro {
+  inline def mac(inline tree: Any): String = ${ macImpl('tree) }
+  def macImpl(tree: Expr[Any])(using qctx: QuoteContext): Expr[String] = {
+    tree match {
+        case '{ ($in: $tpe1) => ($out: $tpe2) } => Expr(out.toString)
+        case _ => Expr("not matched")
+    }
+  }
+}

tests/run/i8746b/Test_2.scala

@@ -0,0 +1,7 @@
+import Macro._
+
+import Macro._
+
+@main def Test() = { //hello
+  mac((x: String) => "anything")
+}