From 0a1ec31c2a17c5dd0e6bd363979cbf17a8860616 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 17 Mar 2014 18:05:57 +0100
Subject: Fix of t112606A - path dependent types

Needed an extra case in isSubType.
---
 tests/untried/pos/t112606A.scala | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 tests/untried/pos/t112606A.scala

(limited to 'tests/untried')

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);
-}
-- 
cgit v1.2.3