Add test

Author: odersky

tests/pos/i7084.scala

@@ -0,0 +1,15 @@
+object Test {
+
+  type Foo
+
+  given A {
+    def (y: Any) g given Foo: Any = ???
+  }
+
+  def f(x: Any) given Foo: Any = {
+    val y = x.g
+    y.g
+
+    x.g.g
+  }
+}