2 files changed, 24 insertions, 0 deletions
diff --git a/test/files/neg/bug576.check b/test/files/neg/bug576.check
new file mode 100644
index 0000000000..0182398cf1
--- /dev/null
+++ b/test/files/neg/bug576.check
@@ -0,0 +1,4 @@
+bug576.scala:14 error: overloaded method insert needs result type
+      if (true) sibling.insert(node);
+                              ^
+one error found
diff --git a/test/files/neg/bug576.scala b/test/files/neg/bug576.scala
new file mode 100644
index 0000000000..2d9cf01910
--- /dev/null
+++ b/test/files/neg/bug576.scala
@@ -0,0 +1,20 @@
+package lampion.collections;
+
+abstract class BaseListXXX {
+  type Node <: BaseNode;
+  abstract class BaseNode {
+  }
+}
+trait PriorityTreeXXX extends BaseListXXX {
+	type Node <: BasicTreeNode;
+
+  trait BasicTreeNode extends BaseNode {
+    def sibling: Node = null;
+    def insert(dir : Int, node : Node) = {
+      if (true) sibling.insert(node);
+      //else insert(node);
+
+    }
+    def insert(node : Node) : Unit  = {}
+  }
+}