1 files changed, 38 insertions, 0 deletions
diff --git a/src/test/scala/scala/async/run/toughtype/ToughType.scala b/src/test/scala/scala/async/run/toughtype/ToughType.scala
index 83f5a2d..6fcd966 100644
--- a/src/test/scala/scala/async/run/toughtype/ToughType.scala
+++ b/src/test/scala/scala/async/run/toughtype/ToughType.scala
@@ -67,4 +67,42 @@ class ToughTypeSpec {
       await(f(2))
     } mustBe 3
   }
+
+  @Test def existentialBindIssue19() {
+    import AsyncId.{await, async}
+    def m7(a: Any) = async {
+      a match {
+        case s: Seq[_] =>
+          val x = s.size
+          var ss = s
+          ss = s
+          await(x)
+      }
+    }
+    m7(Nil) mustBe 0
+  }
+
+  @Test def existentialBind2Issue19() {
+    import scala.async.Async._, scala.concurrent.ExecutionContext.Implicits.global
+    def conjure[T]: T = null.asInstanceOf[T]
+
+    def m3 = async {
+      val p: List[Option[_]] = conjure[List[Option[_]]]
+      await(future(1))
+    }
+
+    def m4 = async {
+      await(future[List[_]](Nil))
+    }
+  }
+
+  @Test def singletonTypeIssue17() {
+    import scala.async.AsyncId.{async, await}
+    class A { class B }
+    async {
+      val a = new A
+      def foo(b: a.B) = 0
+      await(foo(new a.B))
+    }
+  }
 }