Missing type bound for quoted type splices in patterns

[nicolasstucki]

minimized code

import scala.quoted._
class Foo {
  def f[T](t: Type[T])(given QuoteContext) = t match {
    case '[ *:[Int, $t] ] =>
  }
}

fails with

4 |    case '[ *:[Int, $t] ] =>
  |                     ^
  |                   Type argument $t does not conform to upper bound Tuple 

expectation

Should compile