Regression in typer or constructor alternatives

[WojciechMazur]

Based on the issue found in softwaremill/tapir based on Open CB #7872

Compiler version

Works in 3.2.0-RC2 Fails in 3.2.0-RC3

Minimized code

//> using scala "3.2.0-RC3"

sealed trait ZIO[-R, +E, +A]
object ZIO{
  def fail[E](error: E): ZIO[Any, E, Nothing] = ???
}

trait Endpoint[INPUT, ERROR_OUTPUT, OUTPUT]{
  sealed trait ZServerEndpoint[R]
  def zServerLogic[R](logic: INPUT => ZIO[R, ERROR_OUTPUT, OUTPUT]): ZServerEndpoint[R] = ???
}

@main def Test() = 
  val x: Endpoint[_, Unit, Unit] = ???
  x.zServerLogic[Any](_ => ZIO.fail(new RuntimeException("boom")))

Output

[error] ./test.scala:15:41: None of the overloaded alternatives of constructor RuntimeException in class RuntimeException with types
[error]  (x$0: Throwable): RuntimeException
[error]  (x$0: String, x$1: Throwable): RuntimeException
[error]  (x$0: String): RuntimeException
[error]  (): RuntimeException
[error] match arguments (("boom" : String)) and expected result type E
[error]   x.zServerLogic[Any](_ => ZIO.fail(new RuntimeException("boom")))
[error]                                         ^^^^^^^^^^^^^^^^
Error compiling project (Scala 3.2.0-RC3, JVM)

Expectation

Should compile

[KacperFKorban]

The commit that introduced this is: https://github.com/lampepfl/dotty/commit/b009f4276c74200923a723b1d44b00c9d6265cd4

[Kordyjan]

@odersky Do you have time to take a look?

[odersky]

Is it urgent? I am just coming back from vacation and there's a long backlog.

[Kordyjan]

It can be considered a blocker for 3.2.0, as it makes it impossible to build tapir with 3.2.