diff options
Diffstat (limited to 'test/files/pos/bug516.scala')
-rwxr-xr-x | test/files/pos/bug516.scala | 14 |
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 => + } + } + |