Missing type bound for quoted type splices in patterns

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

Should compile