Fix of t112606A - path dependent types

Needed an extra case in isSubType.

1 files changed, 0 insertions, 25 deletions

diff --git a/tests/untried/pos/t112606A.scala b/tests/untried/pos/t112606A.scala
deleted file mode 100644
index 5bf532f8d..000000000
--- a/tests/untried/pos/t112606A.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-package test;
-trait Test {
-  trait Global {
-    type Tree;
-    def get : Tree;
-  }
-  trait TreeBuilder {
-    val global : Global;
-    def set(tree : global.Tree) = {}
-  }
-  val nsc : Global;
-  trait FileImpl {
-    object treeBuilder extends TreeBuilder {
-      val global : nsc.type = nsc;
-    }
-    // ok
-    treeBuilder.set(nsc.get);
-  }
-  val file0 : FileImpl;
-  // ok
-  file0.treeBuilder.set(nsc.get);
-  def file : FileImpl;
-  // type mismatch
-  file.treeBuilder.set(nsc.get);
-}