Reclassifying tests

Author: odersky

test/dotc/tests.scala

@@ -84,6 +84,7 @@ class tests extends CompilerTest {
   @Test def neg_tailcall2 = compileFile(negDir, "tailcall/tailrec-2", xerrors = 2)
   @Test def neg_tailcall3 = compileFile(negDir, "tailcall/tailrec-3", xerrors = 2)
   @Test def neg_t1843 = compileFile(negDir, "t1843", xerrors = 1)
+  @Test def neg_t2994 = compileFile(negDir, "t2994", xerrors = 13)
 
   @Test def dotc = compileDir(dotcDir + "tools/dotc", twice)
   @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice)

tests/pending/pos/t2994a.scala renamed to tests/neg/t2994.scala

@@ -25,3 +25,11 @@ object Naturals {
   }
 
 }
+
+object Test {
+  trait Bar[X[_]]
+  trait Baz[S[_] <: Bar[S]] {
+    type Apply[T]
+  }
+  trait Foo[V[_] <: Bar[V]] extends Bar[Baz[V]#Apply]
+}

tests/pending/pos/t2945.scala

@@ -1,9 +1,9 @@
 object Foo {
   def test(s: String) = {
     (s: Seq[Char]) match {
-        case Seq('f', 'o', 'o', ' ', rest1 @ _*) =>
+        case Seq('f', 'o', 'o', ' ', rest1: _*) =>
           rest1
-        case Seq('b', 'a', 'r', ' ', ' ', rest2 @ _*) =>
+        case Seq('b', 'a', 'r', ' ', ' ', rest2: _*) =>
           rest2
         case _ =>
           s