Exception while typechecking and compiling pattern matching with @

object Fail {
  case class So[+T]()

  def main(args: Array[String]): Unit = {
    So[Int]() match {
      case p@So[_] => Console.println("Yep")
      case _       => Console.println("Nope")
    }
  }
}

Compiler says,

exception occurred while typechecking /path/to/Src.scala
exception occurred while compiling /path/to/Src.scala

Works well if underscore in pattern matching is replaced with a specific type.

[liufengyun]

@vuspenskiy Thanks for reporting, we’ll investigate the crash and why there’s no error message about syntax.

Regarding the syntax, we need to either use p : So[_] or p @ So(_) in the code example.

Following code has the same stack trace:

object Fail {
  def f(m: Option[Int]): Unit = {
     m match {
      case x @ Some[_] =>
      case _       =>
    }
  }
}

[liufengyun]

No worry @jvican , I’ll take care of it.