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