Fix "wrong number of args" reporting

"Wrong number of args" only works for type arguments but was called also for
term arguments. Ideally we should have a WrongNumberOfArgs message that works for
both, but this will take some refactoring.

1 files changed, 4 insertions, 2 deletions

diff --git a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
index 489165e56..9dda233bf 100644
--- a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
+++ b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -224,6 +224,8 @@ object messages {
   extends Message(8) {
     val kind = "Member Not Found"
 
+    //println(i"site = $site, decls = ${site.decls}, source = ${site.widen.typeSymbol.sourceFile}") //DEBUG
+
     val msg = {
       import core.Flags._
       val maxDist = 3
@@ -606,7 +608,7 @@ object messages {
            |"""
   }
 
-  case class WrongNumberOfArgs(fntpe: Type, argKind: String, expectedArgs: List[TypeParamInfo], actual: List[untpd.Tree])(implicit ctx: Context)
+  case class WrongNumberOfTypeArgs(fntpe: Type, expectedArgs: List[TypeParamInfo], actual: List[untpd.Tree])(implicit ctx: Context)
   extends Message(22) {
     val kind = "Syntax"
 
@@ -628,7 +630,7 @@ object messages {
     }
 
     val msg =
-      hl"""|${NoColor(msgPrefix)} ${argKind} arguments for $prettyName$expectedArgString
+      hl"""|${NoColor(msgPrefix)} type arguments for $prettyName$expectedArgString
            |expected: $expectedArgString
            |actual:   $actualArgString""".stripMargin