Workaround non-idempotency of typing pattern matching anonymous functions.

 - Undo the transformation that takes place in Typers to
   leave us with Match(EmptyTree, cases).
 - Make sure we don't descend into the cases of such a
   tree when peforming the async transform

1 files changed, 10 insertions, 0 deletions

diff --git a/src/test/scala/scala/async/neg/NakedAwait.scala b/src/test/scala/scala/async/neg/NakedAwait.scala
index ecc84f9..9974a07 100644
--- a/src/test/scala/scala/async/neg/NakedAwait.scala
+++ b/src/test/scala/scala/async/neg/NakedAwait.scala
@@ -93,6 +93,16 @@ class NakedAwait {
   }
 
   @Test
+  def nestedPatMatFunction() {
+    expectError("await must not be used under a nested class.") { // TODO more specific error message
+      """
+        | import _root_.scala.async.AsyncId._
+        | async { { case x => { await(false) } } : PartialFunction[Any, Any] }
+      """.stripMargin
+    }
+  }
+
+  @Test
   def tryBody() {
     expectError("await must not be used under a try/catch.") {
       """