Cannot resolve overloaded method with default parameters + implicit constraints

[armanbilge]

Compiler version

3.2.1-RC1-bin-20220627-4be1482-NIGHTLY

Minimized code

//> using scala "3.2.1-RC1-bin-20220627-4be1482-NIGHTLY"

trait Foo[F[_]]

object Bug {
  def apply[F[_]: Foo](
    await: Boolean,
    whatever: Int = 0
  ): Nothing = ???

  def apply[F[_]: Foo]: Nothing =
    apply[F](false)
}

Output

[error] ./bug.scala:12:5: None of the overloaded alternatives of method apply in object Bug with types
[error]  [F[_$3]](implicit evidence$2: Foo[F]): Nothing
[error]  [F[_$2]](await: Boolean, whatever: Int)(implicit evidence$1: Foo[F]): Nothing
[error] match type arguments [F] and arguments ((false : Boolean))
[error]     apply[F](false)
[error]     ^^^^^

Expectation

It compiles in 2.12 and 2.13.

[odersky]

Workaround:

trait Foo[F[_]]

object Bug {
  def apply[F[_]](
    await: Boolean,
    whatever: Int = 0
  )(using Foo[F]): Nothing = ???

  def apply[F[_]](using Foo[F]): Nothing =
    apply[F](false)
}

[odersky]

It also works with -source future, since that translates context bounds into the workaround code.