blob: a6bdd686feece7f031b13ed7e3c6edb4b41fc3f2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/**
* 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 _ =>
}
}
}
}
|