Import exported function from a library loses the default parameters

[JD557]

Compiler version

3.3.0

Minimized code

lib.scala:

//> using scala "3.3.0"
//> using publish.name "defaultstest"
//> using publish.organization "eu.joaocosta"
//> using publish.version "0.1.0-SNAPSHOT"

package eu.joaocosta.defaultstest

object Foo {
  def foo(x: Int, y: Int = 5): Int = x + y
}

object Bar {
  export Foo.*
}

object App {
  println(Bar.foo(2)) // Works
}

Published with scala-cli --power publish local .\lib.scala

app.sc

//> using scala "3.3.0"
//> using lib "eu.joaocosta::defaultstest::0.1.0-SNAPSHOT"

import eu.joaocosta.defaultstest._

println(Foo.foo(2)) // Works
println(Bar.foo(2)) // Fails with "missing argument for parameter y of method foo in object Bar: (x: Int, y: Int): Int"

Output

[error] .\app.sc:7:9
[error] missing argument for parameter y of method foo in object Bar: (x: Int, y: Int): Int
[error] println(Bar.foo(2)) // Fails with "missing argument for parameter y of method foo in object Bar: (x: Int, y: Int): Int"
[error]         ^^^^^^^^^^

Expectation

The code should compile, using the default methods (same behavior as Foo.foo(2))

Notes

This seems very similar to #15031, although in my case the problem happens when importing a library.
No amount of clean/compile seems to fix it.

[som-snytt]

It reproduces on HEAD with separate compilation. That's running scalac on each file in turn, none of this scala-cli or sbt business.

[sbrunk]

I just ran into this issue as well, while looking into ways to split an API with a many methods with default parameters into manageable chunks, but keeping a single entry-point to call these methods sbrunk/storch#29.

Export clauses seem like the perfect solution here, but given the large number of methods with default parameters, we'll have to wait until we have a fix for this issue.

[bishabosha]

This seems like something we can maybe solve similar to constructor proxies (i.e. a constructor proxy is a fake inline apply method in a fake exported companion object), we could add fake default accessors to the fake exported companion object

[lbialy]

We have the same problem in Besom with exported functions losing default args.