: _* is only valid when the parameter is repeated

Fixes #9749.
Fixes #9912.

Author: smarter

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

@@ -9,6 +9,7 @@ import util.Stats.record
 import util.{SrcPos, NoSourcePosition, SourceFile}
 import Trees.Untyped
 import Contexts._
+import Phases._
 import Flags._
 import Symbols._
 import Denotations.Denotation
@@ -539,6 +540,8 @@ trait Applications extends Compatibility {
            *           in the remaining formal parameters.
            */
           def addTyped(arg: Arg, formal: Type): List[Type] =
+            if (!elimRepeatedPhase.exists || ctx.phase <= elimRepeatedPhase) && isVarArg(arg) && !formal.isRepeatedParam then
+              fail(i"Sequence argument type annotation `: _*` cannot be used here: the corresponding parameter has type $formal which is not a repeated parameter type", arg)
             addArg(typedArg(arg, formal), formal)
             if methodType.isParamDependent && typeOfArg(arg).exists then
               // `typeOfArg(arg)` could be missing because the evaluation of `arg` produced type errors

tests/neg/i9749.scala

@@ -0,0 +1,7 @@
+class A {
+  def f(x: Any) = 1
+
+  def foo(x: List[String]): Unit = {
+    f(x: _*) // error
+  }
+}

tests/pos-java-interop/i9912/JavaLogger.java

@@ -0,0 +1,5 @@
+public class JavaLogger {
+    public void info(String format, Object arg) {}
+
+    public void info(String in, Object... args){}
+}

tests/pos-java-interop/i9912/Test.scala

@@ -0,0 +1,9 @@
+class Test {
+  val logger = new JavaLogger
+  def log(): Unit = {
+      logger.info(
+        "My {} String {} with multiple args {}",
+        Array("a", "b", "c"): _*
+      )
+  }
+}

tests/pos/i9749.scala

@@ -0,0 +1,8 @@
+class A {
+  def f(x: Any) = 1
+  def f(x: String*) = 1
+
+  def foo(x: List[String]): Unit = {
+    f(x: _*)
+  }
+}

tests/pos/test-desugar.scala

@@ -76,7 +76,6 @@ object desugar {
     val pair: Int ~ String = 1 -> "abc"
     def foo(xs: Int*) = xs.length
     foo(list: _*)
-    println(list: _*)
     (list length)
     - desugar.x
     def bar(x: => Int) = x