From 6cca64fa0aa37942812d1c870b99f309dab67352 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 7 Oct 2015 12:42:38 +0200 Subject: Check that some types are not higher-kinded. Invalidates #813. Review by @darkdimius. --- test/dotc/tests.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/dotc/tests.scala') diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 2b5b86be1..b22da9b5d 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -104,7 +104,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 = 10)(allowDoubleBindings) + @Test def neg_typers() = compileFile(negDir, "typers", xerrors = 13)(allowDoubleBindings) @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) -- cgit v1.2.3