Recategorize tests

Passing tests from pending/pos go in pos. Some others
go in diabled/not-testable. These are tests that require
a compilation order which we cannot yet do with our unit
testing framework. Compiling them alltogether (as is now
doen in junit) does not work either for them because they
contain a duplicate class.

1 files changed, 45 insertions, 0 deletions

diff --git a/tests/pos/t807.scala b/tests/pos/t807.scala
new file mode 100644
index 000000000..0eeb92ea2
--- /dev/null
+++ b/tests/pos/t807.scala
@@ -0,0 +1,45 @@
+trait Matcher {
+  trait Link {
+    type Self <: Link;
+    type Match <: Link { type Match = Link.this.Self; }
+  }
+  trait HasLinks {
+    def link(b : Boolean) : Link = null;
+  }
+
+}
+trait BraceMatcher extends Matcher {
+  trait BracePair {
+    trait BraceLink extends Link;
+    trait OpenLink extends BraceLink {
+      type Self = OpenLink;
+      type Match = CloseLink;
+    }
+    trait CloseLink extends BraceLink {
+      type Self = CloseLink;
+      type Match = OpenLink;
+    }
+  }
+}
+trait IfElseMatcher extends BraceMatcher {
+  trait IfElseLink extends Link;
+  trait IfLink extends IfElseLink {
+    type Self = IfLink;
+    type Match = ElseImpl;
+  }
+  trait ElseImpl extends IfElseLink with HasLinks {
+    type Self = ElseImpl;
+    type Match = IfLink;
+    override def link(b : Boolean) = this;
+  }
+  val parenPair : BracePair;
+  trait IfWithParenImpl extends HasLinks {
+    object ifLink extends IfLink;
+    object openParen extends parenPair.OpenLink;
+    override def link(b : Boolean): Link = b match {
+    case true => ifLink;
+    case false => openParen;
+    }
+  }
+}
+