blob: a6bdd686feece7f031b13ed7e3c6edb4b41fc3f2 (
plain) (
tree)
|
|
/**
* Scala Compiler Will Crash On this File
* ... Or Will It?
*
*/
object Crash {
trait UpdateType[A]
case class StateUpdate[+A](updateType : UpdateType[A], value : A) // error
case object IntegerUpdateType extends UpdateType[Integer]
//However this method will cause a crash
def crash(updates: List[StateUpdate[_]]): Unit = {
updates match {
case Nil =>
case u::us =>
u match {
//Line below seems to be the crashing line
case StateUpdate(key, newValue) if (key == IntegerUpdateType) =>
println("Requires a statement to induce the crash")
case _ =>
}
}
}
}
|