1 files changed, 21 insertions, 0 deletions
diff --git a/test/pending/pos/bug577.scala b/test/pending/pos/bug577.scala
new file mode 100644
index 0000000000..ede45399a0
--- /dev/null
+++ b/test/pending/pos/bug577.scala
@@ -0,0 +1,21 @@
+trait PriorityTree {
+  type Node <: BasicTreeNode;
+
+  val top = initTree;
+  top.next = (initTree);
+  top.next.prev = (top);
+
+  def initTree : Node;
+
+
+
+
+  trait BasicTreeNode {
+    private[PriorityTree] var next  : Node = _;
+    private[PriorityTree] var prev  : Node = _;
+    private[PriorityTree] var chld : Node = _;
+    //var next  : Node = _;
+    //var prev  : Node = _;
+    //var chld : Node = _;
+  }
+}