diff options
author | Martin Odersky <odersky@gmail.com> | 2014-05-05 18:34:59 +0200 |
---|---|---|
committer | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-05-20 13:38:48 +0200 |
commit | 82c4db686d07ae8e91f157f5c8b55a1a76917941 (patch) | |
tree | 3024867516bdc571987207296046fe5bcd3ca566 /tests/pos/t1843.scala | |
parent | 94ceb9895a539b05fd81c8abe040c276178b5507 (diff) | |
download | dotty-82c4db686d07ae8e91f157f5c8b55a1a76917941.tar.gz dotty-82c4db686d07ae8e91f157f5c8b55a1a76917941.tar.bz2 dotty-82c4db686d07ae8e91f157f5c8b55a1a76917941.zip |
Pos tests t17xx - t19xx
Diffstat (limited to 'tests/pos/t1843.scala')
-rw-r--r-- | tests/pos/t1843.scala | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/pos/t1843.scala b/tests/pos/t1843.scala new file mode 100644 index 000000000..e9b5c5d2d --- /dev/null +++ b/tests/pos/t1843.scala @@ -0,0 +1,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) + 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 _ => + } + } + } +} |