Missing type bound for quoted type splices in patterns

## minimized code

```Scala
import scala.quoted._
class Foo {
  def f[T](t: Type[T])(given QuoteContext) = t match {
    case '[ *:[Int, $t] ] =>
  }
}
```
fails with
```scala
4 |    case '[ *:[Int, $t] ] =>
  |                     ^
  |                   Type argument $t does not conform to upper bound Tuple 
```

## expectation
Should compile

