Should report argument is missing instead of no implicit argument was found ?

[He-Pin]

Compiler version

3.1.1

Minimized code

@main def main(name:String, age:Option[Int] = Some(1)): Unit = println(name)

Output

run directly with no arguments

C:\Users\hepin\IdeaProjects\scala3Learn\src\Test.scala:2
no implicit argument of type scala.util.CommandLineParser.FromString[Option[Int]] was found for parameter fs of method parseArgument in object CommandLineParser
@main def main(name:String, age:Option[Int] = Some(1)): Unit = println(name)

Expectation

report Aguments for 'name' and 'age' is missing。

[smarter]

Likely fixed by the new main annotation being developed at #14558

[nicolasstucki]

Actually it will be fixed by the follow up of #14558 which will stabilize the rest of #13727.

[nicolasstucki]

If it is a simple check, it might be worthy fixing it before we have the new version of the annotation.

[nicolasstucki]

Actually, I completely misunderstood the issue.

We do not have an implementation of FromString for options. Not sure if we should add it as it is not clear what such a parser would expect from the string argument passed in the command line.

@hepin1989 what was the behavior you wanted to have for your arguments? What would you have passed in the command line as an age?