Ambiguous overload between varargs and non-varargs

[eloots]

Minimized code

Calling a method on the Java Log4J library with 2 arguments (the last one in a position where a varargs polymorphic version exists) results in the compiler reporting an error.

  context.log.error("Received unexpected message in state 'trackProgress': {}", msg)

Compiling the above line results in the following error message:

Output

[error] -- [E051] Reference Error: /Users/ericloots/Trainingen/LBT/lunatech-scala-2-to-scala3-course/exercises/exercise_000_sudoku_solver_initial_state/src/main/scala/org/lunatechlabs/dotty/sudoku/SudokuProgressTracker.scala:43:20
[error] 43 |        context.log.error("Received unexpected message in state 'trackProgress': {}", msg)
[error]    |        ^^^^^^^^^^^^^^^^^
[error]    |Ambiguous overload. The overloaded alternatives of method error in trait Logger with types
[error]    | (x$0: String, x$1: Object*): Unit
[error]    | (x$0: String, x$1: Object): Unit
[error]    |both match arguments (("Received unexpected message in state \'trackProgress\': {}" : String), (msg : org.lunatechlabs.dotty.sudoku.SudokuProgressTracker.SudokuDetailState))

Expectation

The sample line of code given above should compile (as it does in pre-0.27.0 and of course Scala 2.x)

[eloots]

@smarter
Created a ready to run example to reproduce the issue.

[smarter]

Turns out this isn't even specific to Java varargs:

object Test {
  def foo(x: Any*): Unit = {}
  def foo(x: Any): Unit = {}

  foo("") // error: ambiguous overloads
}

[smarter]

@odersky Any idea what difference there might be between Scala 2 and Dotty's overloading resolution that leads to the previous example being ambiguous?

[smarter]

It's also worth noting that the following is not ambiguous in Scala 2 nor Dotty:

object Test {
  def foo(x: String*): Unit = {}
  def foo(x: String): Unit = {}

  foo("")
}

I don't know why using String instead of Any makes a difference.

[dwijnand]

Is it because Seq[Any] <: Any?

[smarter]

That should be fine, but maybe what's going on is that Any* <: Any in Dotty but not in Scala 2. In Dotty, Any* is encoded using a synthetic class: <repeated>[Any], I don't know how it's represented in Scala 2 but there's a comment hinting that * is magic somehow (https://github.com/scala/scala/blob/074dae29c9a6bd3a22c4c6289f224ec28110fdfd/src/compiler/scala/tools/nsc/typechecker/Infer.scala#L339) so it might not be a subtype of any regular type.