Fixes to lambda abstraction

1) Honor variance of Apply and $hkArgs when instantiating them
2) Eta-lifting a higher-kinded type is straight eta expansion,
   no arguments are applied.

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/pos/t1236a.scala b/tests/pos/t1236a.scala
new file mode 100644
index 000000000..a1a5a81f4
--- /dev/null
+++ b/tests/pos/t1236a.scala
@@ -0,0 +1,15 @@
+trait Empty[E[_]] {
+  def e[A]: E[A]
+}
+
+object T {
+  val ListEmpty = new Empty[List] {
+    def e[B] = Nil
+  }
+
+  // needs better type inference for hk types
+  def foo[F[_]](q:(String,String)) = "hello"
+  def foo[F[_]](e: Empty[F]) = "world"
+
+  val x = foo[List](ListEmpty)
+}