New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GADT, pattern matching anon fun inference regression #10085

Open

scabug opened this issue Dec 1, 2016 · 1 comment

Labels

fixed in Scala 3 gadt regression typer

Milestone

scabug commented Dec 1, 2016

sealed trait Op[A]
case class IntOp(i: Int) extends Op[Int]

object Test {
  def run[A](op: Op[A]): Int => A = op match {
    case IntOp(i) => 
      {case x => i} // broken
  }
  // def runOkay[A](op: Op[A]): Int => A = op match {
  //   case IntOp(i) =>
  //     x => i // okay
  // }
}

This no longer typechecks ("found A required Int"). I bisected the regression to http://github.com/scala/scala/pull/4971, support for SAM types.

Author

scabug commented Dec 1, 2016

Imported From: https://issues.scala-lang.org/browse/SI-10085?orig=1
Reporter: @retronym
Affected Versions: 2.12.0-M4, 2.12.0

scabug added quickfix typer regression labels

scabug added this to the Backlog milestone

SethTisue removed quickfix labels

SethTisue added gadt fixed in Scala 3 labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment