Match types seem to break case classes

[felixmulder]

Minimized code

// This is crazy:
type Get0 = OK[Int, Unit]
def get0: Handler[Get0] = IO[Unit]()

case class HandlerAlt[A](value: Handler[A])

type Handler[API] = handler.Go[API]

case class IO[A]()
case class OK[A, B]()

object handler:
  // Starter for Handler reduction:
  type Go[API] = API match
    case _ =>
      HandlerSingle[API]

  type HandlerSingle[X] = X match
    case OK[_, response] =>
      IO[response]

Output

[error] -- [E007] Type Mismatch Error: ./serviteur/src/main/scala/serviteur/minimized.scala:4:41 
[error] 4 |case class HandlerAlt[A](left: Handler[A])
[error]   |                                         ^
[error]   |                          Found:    (HandlerAlt.this.left : handler.Go[A])
[error]   |                          Required: handler.Go[<?>]

Expectation

🤷‍♂

Guillaume told me to put this here.

[felixmulder]

Removing case from case class makes this compile

[iamrecursion]

Hoping to get a chance to take a look at this on the weekend. @OlivierBlanvillain is it still up for grabs?

[iamrecursion]

Life has totally got away from me recently and I've not had a chance to pick this up. If someone else wants to get to it, please don't let me stop you.

Sorry about this!