Incorrect error message when not specifying curryed vararg parameters

[anatoliykmetyuk]

Compiler version

3.1.1

Minimized code & Output

scala> case class Foo(x: Int)(xs: String*)
// defined case class Foo

scala> Foo(3)
-- [E081] Type Error: ----------------------------------------------------------
1 |Foo(3)
  |^
  |Missing parameter type
  |
  |I could not infer the type of the parameter xs.
1 error found

Expectation

Notify the user that the argument list for xs is mandatory instead of telling them that the type cannot be inferred.

[som-snytt]

This was fixed recently

Welcome to Scala 3.1.3-RC1-bin-SNAPSHOT-git-2ecde3a (17.0.2, Java OpenJDK 64-Bit Server VM).
Type in expressions for evaluation. Or try :help.

scala> case class Foo(x: Int)(xs: String*)
// defined case class Foo

scala> Foo(42)
val res0: Seq[String] => Foo = Lambda$1509/0x000000080112c2b8@34f48d1

[nicolasstucki]

This was fixed recently

Then we should add a regression test

[som-snytt]

at https://github.com/lampepfl/dotty/pull/14397/files