1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/pos/patterns1213.scala b/test/files/pos/patterns1213.scala
new file mode 100644
index 0000000000..7b8a8c8fc0
--- /dev/null
+++ b/test/files/pos/patterns1213.scala
@@ -0,0 +1,11 @@
+abstract class MapLocation(ID:int) {
+  abstract class Message
+  case class ReceivePlayer(id: int) extends Message
+
+  def foo(p: Message) {
+    p match {
+      case ReceivePlayer(ID) =>
+        ()
+    }
+  }
+}