Another test case

Author: odersky

tests/pos/i5526b.scala

@@ -0,0 +1,10 @@
+trait F[A, -E]
+object Test {
+  def empty[A](value: A): F[A, Any] = ???
+
+  def hof[R](f: (p: AnyRef) => F[R, p.type]): F[R, Any] = ???
+
+  hof { p =>
+    empty(42)
+  }
+}