Added and corrected tests

to reflect last commit.

3 files changed, 7 insertions, 3 deletions

diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
index 4999e5e4b..30de5e15d 100644
--- a/test/dotc/tests.scala
+++ b/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)
diff --git a/tests/neg/boundspropagation.scala b/tests/neg/boundspropagation.scala
index bc39e042e..42cf67dba 100644
--- a/tests/neg/boundspropagation.scala
+++ b/tests/neg/boundspropagation.scala
@@ -38,3 +38,7 @@ object test4 {
     }
   }
 }
+
+class Test5 {
+"": ({ type U = this.type })#U
+}
diff --git a/tests/neg/typers.scala b/tests/neg/typers.scala
index 2f1cf40c4..226fd2310 100644
--- a/tests/neg/typers.scala
+++ b/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
   }
 }