Better error message than "overloaded or recursive method needs return type" for (1)(2)

[soronpo]

From discussion on a separate (closed) issue #3737, it became clear that at least the error message should be improved.

In dotty:

scala> 1(2) 
1 |1(2)
  |^
  |overloaded or recursive method <none> needs return type

In scalac:

scala> (1)(2)
<console>:12: error: Int(1) does not take parameters
       (1)(2)

[smarter]

Possibly a duplicate of #3253

[smarter]

Oops, I mean #2994

[propensive]

There is an additional spurious message when attempting (1)(2) in the REPL:

Starting dotty REPL...
scala> (1)(2) 
1 |(1)(2)
  | ^
  | overloaded or recursive method <none> needs return type
1 |(1)(2)
  |^
  |value asInstanceOf does not take type parameters

[smarter]

@propensive are you using the latest Dotty master? That second message has been fixed recently.

[propensive]

No... my attempt to build be50d2c5420cf2a1ed43b0b02f1513351093767a resulted in compile errors, so that was with 0.5.0-RC1'. I'll try building the latest master` now.

[smarter]

Don't forget to git submodule update --init!

[propensive]

I was just about to say that! I missed the message before all the errors! Thanks, and sorry for the noise!

[smarter]

Fixed in #3750