hk-type argument in quoted matched expression can't be compiled.

[rssh]

Minimized code

package a

import scala.quoted._

trait CPM[F[_]]

object M {

  def matchTerm[T:Type](t:Expr[T])(using qctx:QuoteContext):Unit = {
     import qctx.tasty._
     t match {
       case '{ $a: CPM[$m2] } => ???
     }

  }

}

Output

[info] Compiling 2 Scala sources to /Users/rssh/tests/scala-misc/dotty/match-hk-hk/match-hk-hk/target/scala-0.26/classes ...
[error] -- [E141] Type Error: /Users/rssh/tests/scala-misc/dotty/match-hk-hk/match-hk-hk/src/main/scala/a/M.scala:12:15 
[error] 12 |       case '{ $a: CPM[$m2] } => ???
[error]    |               ^^^^^^^^^^^^
[error]    |               Missing type parameter for $m2
[error] one error found
[error] (Compile / compileIncremental) Compilation failed
[error] Total time: 5 s, completed Jul 14, 2020, 2:37:38 PM

Expectation

should be compiled.

[nicolasstucki]

Minimized

import scala.quoted._

trait CPM[F[_]]

def matchTerm(t: Expr[Any])(using qctx: Quotes): Unit =
  t match
    case '{ ??? : CPM[m2] } => ???