Quote pattern not matching on *: when elements are tuples

[hmf]

Compiler version

3.4.2-RC1

Minimized code

The code below tries to match a Tuple of Tuple2. The only match that works is:

 '{ (1,"1") *: EmptyTuple }

matched with

case '{ type t1 <: Tuple; type t2 <: Tuple; $hd: t2 *: EmptyTuple } 

Test code:

  transparent inline def filter(inline from: Tuple): Any = 
    ${ filterImpl('from) }

  // see https://github.com/scala/scala3/issues/19941
  def filterImpl[T <: Tuple](from: Expr[T])(using Quotes): Expr[?] =
    // '{ (1,"1") *: EmptyTuple } match
    '{ (1,"1") *: (2, "2") *: EmptyTuple } match
      // Ok: '{ (1,"1") *: EmptyTuple }
      // case '{ type t1 <: Tuple; type t2 <: Tuple; $hd: t2 *: EmptyTuple } =>
      // fails match with: '{ (1,"1") *: EmptyTuple }
      // case '{ type t1 <: Tuple; type t2 <: Tuple; ($hd: t2) *: EmptyTuple } =>
      // Compile fails: Found:    EmptyTuple.type ; Required: t1
      // case '{ type t1 <: Tuple; type t2 <: Tuple; ($hd: t2) *: (EmptyTuple: t1) } =>
      // fails match: '{ (1,"1") *: EmptyTuple }
      // fails match: '{ (1,"1") *: (2, "2") *: EmptyTuple }
      // case '{ type t1 <: Tuple; type t2 <: Tuple; ($hd: t2) *: ($tl: t1) } =>
      // fails match with: '{ (1,"1") *: (2, "2") *: EmptyTuple }
      // case '{ type t1 <: Tuple; type t2 <: Tuple2[?,?]; ($hd: t2) *: ($tl: t1) } =>
      case '{ type t1 <: Tuple; type t2 <: Tuple2[?,?]; ($hd:t2).*: ($tl:t1) } =>
        println("matched")
        Expr(true)
      case x => 
        throw new MatchError(x.show)

Output

[error] 17 |  val r1 = Tuples.filter(List("v1", "v2"), c1)
[error]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[error]    |Exception occurred while executing macro expansion.
[error]    |scala.MatchError: {
[error]    |  val x$2: scala.Tuple2[scala.Int, java.lang.String] = scala.Tuple2.apply[scala.Int, java.lang.String](1, "1")
[error]    |
[error]    |  {
[error]    |    val x$1: scala.Tuple2[scala.Int, java.lang.String] = scala.Tuple2.apply[scala.Int, java.lang.String](2, "2")
[error]    |    scala.Tuple$package.EmptyTuple.*:[scala.Tuple2[scala.Int, java.lang.String], scala.Tuple$package.EmptyTuple.type](x$1)
[error]    |  }.*:[scala.Tuple2[scala.Int, java.lang.String], scala.*:[scala.Tuple2[scala.Int, java.lang.String], scala.Tuple$package.EmptyTuple]](x$2)
[error]    |} (of class java.lang.String)
[error]    |    at examples.project.Tuples$.filterImpl(MProject.scala:74)
[error]    |
[error]    |----------------------------------------------------------------------------
[error]    |Inline stack trace
[error]    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
[error]    |This location contains code that was inlined from MProject.scala:51
[error] 51 |    ${ filterImpl('from) }
[error]    |    ^^^^^^^^^^^^^^^^^^^^^^
[error]     ----------------------------------------------------------------------------
[error] one error found
1 targets failed

Expectation

I would expect to be able to match on any type of element, not just singletons. I suspect the parenthesis may be the issue. Note that this is a follow-up of #19947.