1 files changed, 26 insertions, 0 deletions
diff --git a/test/files/pos/t247.scala b/test/files/pos/t247.scala
new file mode 100644
index 0000000000..e976404e61
--- /dev/null
+++ b/test/files/pos/t247.scala
@@ -0,0 +1,26 @@
+class Order[t](less:(t,t) => Boolean,equal:(t,t) => Boolean) {}
+
+trait Map[A, B] extends scala.collection.Map[A, B] {
+  val factory:MapFactory[A]
+}
+abstract class MapFactory[A] {
+  def Empty[B]:Map[A,B];
+}
+
+class TreeMapFactory[KEY](newOrder:Order[KEY]) extends MapFactory[KEY] {
+  val order = newOrder;
+  def Empty[V] = new TreeMap[KEY,V](new TreeMapFactory[KEY](order));
+}
+
+class Tree[KEY,Entry](order:Order[KEY]) {
+  def size =0;
+}
+
+class TreeMap[KEY,VALUE](_factory:TreeMapFactory[KEY]) extends Tree[KEY,Pair[KEY,VALUE]](_factory.order) with scala.collection.DefaultMap[KEY, VALUE] with Map[KEY, VALUE] {
+  val factory = _factory
+  val order = _factory.order;
+  def this(newOrder:Order[KEY]) = this(new TreeMapFactory[KEY](newOrder));
+  def get(key:KEY) = null;
+  def iterator:Iterator[Pair[KEY,VALUE]] = null;
+  override def size = super[Tree].size
+}