1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/bug516.scala b/test/files/pos/bug516.scala
new file mode 100755
index 0000000000..38aa4f70a6
--- /dev/null
+++ b/test/files/pos/bug516.scala
@@ -0,0 +1,14 @@
+import scala.collection.mutable._;
+
+class Members;
+
+object subscriber extends Subscriber[Message[String] with Undoable, Members] {
+ def notify(pub: Members, event: Message[String] with Undoable): Unit =
+  (event: Message[String]) match {
+   case Include(elem) => System.err.println("ADD: " + elem);
+   case  Remove(elem) => System.err.println("REM: " + elem);
+   //case i : Include[HasTree] with Undoable  =>
+   //case r : Remove [HasTree] with Undoable  =>
+  }
+ }
+