From 05d286ba8e2a006f8c739f25737d5f86f4554889 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 24 Nov 2014 12:43:35 +0100 Subject: Added and corrected tests to reflect last commit. --- test/dotc/tests.scala | 4 ++-- tests/neg/boundspropagation.scala | 4 ++++ tests/neg/typers.scala | 2 +- 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 } } -- cgit v1.2.3