Added Martin's additional test cases.

2 files changed, 21 insertions, 0 deletions

diff --git a/test/files/pos/bug514.scala b/test/files/pos/bug514.scala
new file mode 100755
index 0000000000..0b7b9ac009
--- /dev/null
+++ b/test/files/pos/bug514.scala
@@ -0,0 +1,7 @@
+object Test extends Application {
+  object Truc {
+    override def toString() = "oui"
+    def toString(bool: Boolean) = "chaispas"
+  }
+  val tata: String = Truc.toString
+}
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  =>
+  }
+ }
+