From e8aecfa4d48383321549aa8f1ec8d1edb0ccaf06 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 21 Jul 2015 18:42:17 +0200 Subject: Disallow wildcard arguments to higher-kinded types... ...unless the HK type can be eta-reduced to a class type. --- test/dotc/tests.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'test/dotc/tests.scala') diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 86d82be76..b8423db38 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -155,6 +155,7 @@ class tests extends CompilerTest { @Test def neg_traitParamsMixin = compileFile(negDir, "traitParamsMixin", xerrors = 2) @Test def neg_firstError = compileFile(negDir, "firstError", xerrors = 3) @Test def neg_implicitLowerBound = compileFile(negDir, "implicit-lower-bound", xerrors = 1) + @Test def neg_partialApplications = compileFile(negDir, "partialApplications", xerrors = 8) @Test def run_all = runFiles(runDir) -- cgit v1.2.3