Test for #7087

Author: odersky

tests/pos/i7087.scala

@@ -0,0 +1,13 @@
+type Foo
+
+type G[A]
+
+type F[T] = T match {
+  case G[a] => String
+}
+
+given A {
+  def (tup: T) g[T] given (Foo: F[T]) = ???
+}
+
+def f(x: G[Int]) given (Foo: String) = x.g