Fix Select matching as an Expr

Author: nicolasstucki

library/src-bootstrapped/scala/quoted/util/ExprMap.scala

@@ -102,7 +102,7 @@ trait ExprMap {
         tree match {
         case _: Closure =>
           tree
-        case _: Inlined | _: Select =>
+        case _: Inlined =>
           transformTermChildren(tree, tpe)
         case _ =>
           tree.tpe.widen match {

tests/run-macros/expr-map-2.check

@@ -0,0 +1,3 @@
+Foo(2)
+4
+4

tests/run-macros/expr-map-2/Macro_1.scala

@@ -0,0 +1,19 @@
+import scala.quoted._
+import scala.quoted.matching._
+
+inline def rewrite[T](x: => Any): Any = ${ stringRewriter('x) }
+
+private def stringRewriter(e: Expr[Any])(given QuoteContext): Expr[Any] =
+  StringRewriter.transform(e)
+
+private object StringRewriter extends util.ExprMap {
+
+  def transform[T](e: Expr[T])(given QuoteContext, Type[T]): Expr[T] = e match
+    case '{ ($x: Foo).x } =>
+      '{ new Foo(4).x } match case '{ $e: T } => e
+    case _ =>
+      transformChildren(e)
+
+}
+
+case class Foo(x: Int)

tests/run-macros/expr-map-2/Test_2.scala

@@ -0,0 +1,13 @@
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    println(rewrite(new Foo(2)))
+    println(rewrite(new Foo(2).x))
+
+    rewrite {
+      val foo = new Foo(2)
+      println(foo.x)
+    }
+
+  }
+}