1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/bug516.scala.disabled b/test/files/pos/bug516.scala.disabled
new file mode 100644
index 0000000000..623684e582
--- /dev/null
+++ b/test/files/pos/bug516.scala.disabled
@@ -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) => Console.println("ADD: " + elem);
+   case  Remove(elem) => Console.println("REM: " + elem);
+   //case i : Include[HasTree] with Undoable  =>
+   //case r : Remove [HasTree] with Undoable  =>
+  }
+ }
+