what does noDefaultName do?

[scarf005]

it has no documentation and i cannot figure out what is this option useful for.

//> using dep com.lihaoyi::mainargs::0.7.6
package foo

import mainargs.*

object Main:
  @main def run(
      @arg(noDefaultName = true)
      foo: String
  ) = println(s"foo is $foo")

  def main(args: Array[String]): Unit =
    ParserForMethods(this).runOrExit(args.toSeq)

$ scala foo.scala -- asdfasdf
Missing argument: <str>
Unknown argument: "asdfasdf"
Expected Signature: run
  <str>

[lihaoyi]

IIRC it was meant to make fooBar only callable via the mangled name --foo-bar, and not by the original name --fooBar

[scarf005]

updated the docs in #185