See https://github.com/lampepfl/dotty/blob/836ec499de1d8f52de6786f6090aeb52dd128218/docs/docs/reference/dropped/delayedInit.md and scala/scala3#559
// before
object DelayedInitToMain extends App {
println(args)
}
// after
object DelayedInitToMain {
def main(args: Array[String]): Unit = {
println(args)
}
}
The rewrite should only trigger if args is accessed.
Note scalameta/scalameta#905
See https://github.com/lampepfl/dotty/blob/836ec499de1d8f52de6786f6090aeb52dd128218/docs/docs/reference/dropped/delayedInit.md and scala/scala3#559
The rewrite should only trigger if
argsis accessed.Note scalameta/scalameta#905