Fix #2009: Fix placeholder params logic for lambdas (#2019)

* Fix #2009: Fix placeholder params logic for lambdas

Logic was missing placeholders in rhs of lambdas.

* Add comment

* Fix typo

2 files changed, 18 insertions, 7 deletions

diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
index b46bc401d..c14108d2e 100644
--- a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
+++ b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -993,20 +993,22 @@ object Parsers {
       else {
         val saved = placeholderParams
         placeholderParams = Nil
+
+        def wrapPlaceholders(t: Tree) = try
+          if (placeholderParams.isEmpty) t
+          else new WildcardFunction(placeholderParams.reverse, t)
+        finally placeholderParams = saved
+
         val t = expr1(location)
         if (in.token == ARROW) {
-          placeholderParams = saved
-          closureRest(start, location, convertToParams(t))
+          placeholderParams = Nil // don't interpret `_' to the left of `=>` as placeholder
+          wrapPlaceholders(closureRest(start, location, convertToParams(t)))
         }
         else if (isWildcard(t)) {
           placeholderParams = placeholderParams ::: saved
           t
         }
-        else
-          try
-            if (placeholderParams.isEmpty) t
-            else new WildcardFunction(placeholderParams.reverse, t)
-          finally placeholderParams = saved
+        else wrapPlaceholders(t)
       }
     }
 
diff --git a/tests/pos/i2009.scala b/tests/pos/i2009.scala
new file mode 100644
index 000000000..e2cf47203
--- /dev/null
+++ b/tests/pos/i2009.scala
@@ -0,0 +1,9 @@
+object Test {
+
+  trait Gen[T] {
+    def map[U](f: T => U): Gen[U] = ???
+  }
+
+  def f[T](implicit g: Gen[T]): Gen[() => T] =
+    g map ( () => _ )
+}