Merge pull request #8402 from som-snytt/forward/11437

RHS of var def is an expr

Author: odersky

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -3146,14 +3146,15 @@ object Parsers {
         }
         else emptyType
       val rhs =
-        if (tpt.isEmpty || in.token == EQUALS)
+        if tpt.isEmpty || in.token == EQUALS then
           endMarkerScope(first) {
             accept(EQUALS)
-            if (in.token == USCORE && !tpt.isEmpty && mods.is(Mutable) &&
-                (lhs.toList forall (_.isInstanceOf[Ident])))
-              wildcardIdent()
-            else
-              subExpr()
+            subExpr() match
+              case rhs0 @ Ident(name) if placeholderParams.nonEmpty && name == placeholderParams.head.name
+                  && !tpt.isEmpty && mods.is(Mutable) && lhs.forall(_.isInstanceOf[Ident]) =>
+                placeholderParams = placeholderParams.tail
+                atSpan(rhs0.span) { Ident(nme.WILDCARD) }
+              case rhs0 => rhs0
           }
         else EmptyTree
       lhs match {

tests/neg/t11437.scala

@@ -0,0 +1,6 @@
+
+class Regress {
+  var v: Int = _
+  def f = 42
+  var w: Int = (_)    // error: not default value syntax
+}

tests/pos/t11437.scala

@@ -0,0 +1,11 @@
+
+trait T {
+  val adder0: Int => Int = _ + 3   // Works fine
+  var adder1: Int => Int = (_ + 3) // Works fine
+  var adder2: Int => Int = _ + 3   // was: Error
+}
+class Regress {
+  var v: Int = _
+  def f = 42
+  //var w: Int = (_)    //Unbound placeholder parameter; incorrect use of _
+}