Fix #1036

Achieved by tweaking from where we get the parameter types of an eta-expansion.

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/pos/i1036.scala b/tests/pos/i1036.scala
new file mode 100644
index 000000000..6110f9681
--- /dev/null
+++ b/tests/pos/i1036.scala
@@ -0,0 +1,12 @@
+object Test {
+  def second[sA, sB <: sA](foo: sA, bar: sB): sB = bar
+  def third[A, B >: A](foo: A, bar: B): B = bar
+  def expectString(s: String) = s
+
+  def test = {
+    val x = second(Set.empty[String], Set.empty)
+    x map expectString
+    second(Set.empty[String], Set.empty) map expectString
+    third(Set.empty[String], Set.empty) map expectString
+  }
+}