Regression in overloading methods using multiple parameter lists with default arguments

[WojciechMazur]

Based on the Open CB failure for kiberstender/fjwt - https://scala3.westeurope.cloudapp.azure.com/job/buildCommunityProject/26256/

Compiler version

Bisect points to 063579a

Minimized code

trait JWTEncoder[F[*]]:
  def encode[P](arg: String)(opt: Option[String] = None): F[String]
  def encode[P](arg: String): F[String] = encode(arg)()

Output

Compiling project (Scala 3.3.0-RC1-bin-20221205-5cf8a58-NIGHTLY, JVM)
[error] /home/wmazur/projects/virtuslab/bisect/test.scala:3:43: None of the overloaded alternatives of method encode in trait JWTEncoder with types
[error]  [P](arg: String): F[String]
[error]  [P](arg: String)(opt: Option[String]): F[String]
[error] match arguments ((arg : String))()
[error] 
[error] where:    F is a type in trait JWTEncoder with bounds <: [*] =>> Any
[error]   def encode[P](arg: String): F[String] = encode(arg)()
[error]                                           ^^^^^^
Error compiling project (Scala 3.3.0-RC1-bin-20221205-5cf8a58-NIGHTLY, JVM)

Expectation

Should compile