Set the type of case bodies to Unit after ANF.

Avoids runtime errors like: "java.lang.Double cannot be cast to scala.runtime.BoxedUnit"

1 files changed, 14 insertions, 0 deletions

diff --git a/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala b/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala
index 595ed63..c8cec28 100644
--- a/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala
+++ b/src/test/scala/scala/async/run/anf/AnfTransformSpec.scala
@@ -379,6 +379,20 @@ class AnfTransformSpec {
   }
 
   @Test
+  def caseBodyMustBeTypedAsUnit() {
+    import _root_.scala.async.internal.AsyncId.{async, await}
+    val Up = 1
+    val Down = 2
+    val sign = async {
+      await(1) match {
+        case Up   => 1.0
+        case Down => -1.0
+      }
+    }
+    sign mustBe 1.0
+  }
+
+  @Test
   def awaitInImplicitApply() {
     val tb = mkToolbox(s"-cp ${toolboxClasspath}")
     val tree = tb.typeCheck(tb.parse {