Added and corrected tests

to reflect last commit.

Author: odersky

test/dotc/tests.scala

@@ -68,7 +68,7 @@ class tests extends CompilerTest {
   @Test def neg_typedapply() = compileFile(negDir, "typedapply", xerrors = 4)
   @Test def neg_typedidents() = compileFile(negDir, "typedIdents", xerrors = 2)
   @Test def neg_assignments() = compileFile(negDir, "assignments", xerrors = 3)
-  @Test def neg_typers() = compileFile(negDir, "typers", xerrors = 13)
+  @Test def neg_typers() = compileFile(negDir, "typers", xerrors = 12)
   @Test def neg_privates() = compileFile(negDir, "privates", xerrors = 2)
   @Test def neg_rootImports = compileFile(negDir, "rootImplicits", xerrors = 2)
   @Test def neg_templateParents() = compileFile(negDir, "templateParents", xerrors = 3)
@@ -105,7 +105,7 @@ class tests extends CompilerTest {
   @Test def neg_typetest = compileFile(negDir, "typetest", xerrors = 1)
   @Test def neg_t1569_failedAvoid = compileFile(negDir, "t1569-failedAvoid", xerrors = 1)
   @Test def neg_cycles = compileFile(negDir, "cycles", xerrors = 6)
-  @Test def neg_boundspropagation = compileFile(negDir, "boundspropagation", xerrors = 3)
+  @Test def neg_boundspropagation = compileFile(negDir, "boundspropagation", xerrors = 4)
 
   @Test def dotc = compileDir(dotcDir + "tools/dotc", twice)(allowDeepSubtypes)
   @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice)

tests/neg/boundspropagation.scala

@@ -38,3 +38,7 @@ object test4 {
     }
   }
 }
+
+class Test5 {
+"": ({ type U = this.type })#U
+}

tests/neg/typers.scala

@@ -62,6 +62,6 @@ object typers {
   }
 
   class Refinements {
-    val y: C { val x: T; type T }  // error: illegal forward reference in refinement
+    val y: C { val x: T; type T }  // deprecated warning: illegal forward reference in refinement
   }
 }