Add workaround test

Author: nicolasstucki

tests/pos/i7264c.scala

@@ -0,0 +1,9 @@
+import scala.quoted._
+class Foo {
+  def f[T2: Type](e: Expr[T2])(given QuoteContext) = e match {
+    case '{ $x: $t0 } =>
+      t0 match
+        case '[ *:[Int, $t] ] =>
+          '[ *:[Int, $t] ]
+  }
+}