Moved Method Does Not Take (More) Parameters error to case class

Author: ennru

compiler/src/dotty/tools/dotc/reporting/diagnostic/ErrorMessageID.java

@@ -56,6 +56,7 @@ public enum ErrorMessageID {
     CyclicReferenceInvolvingID,
     CyclicReferenceInvolvingImplicitID,
     SuperQualMustBeParentID,
+    MethodDoesNotTakeParametersId,
     ;
 
     public int errorNumber() {

compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala

@@ -1223,4 +1223,22 @@ object messages {
            |Attempting to define a field in a method signature after a varargs field is an error.
            |""".stripMargin
   }
+
+  case class MethodDoesNotTakeParameters(tree: tpd.Tree, methPartType: Types.Type)(err: typer.ErrorReporting.Errors)(implicit ctx: Context)
+  extends Message(MethodDoesNotTakeParametersId) {
+    private val more = tree match {
+      case Apply(_, _) => " more"
+      case _ => ""
+    }
+
+    val msg = hl"${err.refStr(methPartType)} does not take$more parameters"
+
+    val kind = "Reference"
+
+    val explanation =
+      hl"""|You have specified more parameter lists as defined in the method definition(s).
+           |In case ${err.refStr(methPartType)} is defined without parenthesis, you may
+           |not use any at call-site, either.
+           |""".stripMargin
+  }
 }

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -1846,11 +1846,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
         else
           tree
       case _ => tryInsertApplyOrImplicit(tree, pt) {
-        val more = tree match {
-          case Apply(_, _) => " more"
-          case _ => ""
-        }
-        errorTree(tree, em"$methodStr does not take$more parameters")
+        errorTree(tree, MethodDoesNotTakeParameters(tree, methPart(tree).tpe)(err))
       }
     }
 

compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala

@@ -329,4 +329,45 @@ class ErrorMessagesTests extends ErrorMessagesTest {
         assertEquals("B", qual.show)
         assertEquals("class C", cls.show)
       }
+
+  @Test def methodDoesNotTakePrameters =
+    checkMessagesAfter("frontend") {
+      """
+        |object Scope{
+        |  def foo = ()
+        |  foo()
+        |}
+      """.stripMargin
+    }
+      .expect { (ictx, messages) =>
+        implicit val ctx: Context = ictx
+        val defn = ictx.definitions
+
+        assertMessageCount(1, messages)
+        val MethodDoesNotTakeParameters(tree, methodPart) :: Nil = messages
+
+        assertEquals("Scope.foo", tree.show)
+        assertEquals("=> Unit(Scope.foo)", methodPart.show)
+      }
+
+  @Test def methodDoesNotTakeMorePrameters =
+    checkMessagesAfter("frontend") {
+      """
+        |object Scope{
+        |  def foo(a: Int) = ()
+        |  foo(1)("2")
+        |}
+      """.stripMargin
+    }
+      .expect { (ictx, messages) =>
+        implicit val ctx: Context = ictx
+        val defn = ictx.definitions
+
+        assertMessageCount(1, messages)
+        val MethodDoesNotTakeParameters(tree, methodPart) :: Nil = messages
+
+        assertEquals("Scope.foo(1)", tree.show)
+        assertEquals("((a: Int)Unit)(Scope.foo)", methodPart.show)
+      }
+
 }