Dealias types in New before matching quotes

Fixes #17606

Author: nicolasstucki

compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala

@@ -301,7 +301,7 @@ object QuoteMatcher {
             /* Match new */
             case New(tpt1) =>
               pattern match
-                case New(tpt2) if tpt1.tpe.typeSymbol == tpt2.tpe.typeSymbol => matched
+                case New(tpt2) if tpt1.tpe.dealias.typeSymbol == tpt2.tpe.dealias.typeSymbol => matched
                 case _ => notMatched
 
             /* Match this */

tests/pos-macros/i17606/Macros_1.scala

@@ -0,0 +1,14 @@
+package example
+
+import scala.quoted.*
+
+object A {
+  inline def f(inline a: Any): Boolean = ${ impl('a) }
+
+  def impl(a: Expr[Any])(using Quotes): Expr[Boolean] = {
+    a match {
+      case '{ new String($x: Array[Byte]) } => Expr(true)
+      case _ => quotes.reflect.report.errorAndAbort("Expected match", a)
+    }
+  }
+}

tests/pos-macros/i17606/Test_2.scala

@@ -0,0 +1,8 @@
+package example
+
+object Main {
+  def main(args: Array[String]): Unit = {
+    val x = A.f(new String(Array.empty[Byte]))
+    println(x)
+  }
+}