diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-21 18:42:17 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:12:17 +0200 |
commit | e8aecfa4d48383321549aa8f1ec8d1edb0ccaf06 (patch) | |
tree | 07b68f223127eff223adbbe4602c05b4a04339c6 /test/dotc | |
parent | 4148970a984de945c69f345381f0f03e84d7d6c2 (diff) | |
download | dotty-e8aecfa4d48383321549aa8f1ec8d1edb0ccaf06.tar.gz dotty-e8aecfa4d48383321549aa8f1ec8d1edb0ccaf06.tar.bz2 dotty-e8aecfa4d48383321549aa8f1ec8d1edb0ccaf06.zip |
Disallow wildcard arguments to higher-kinded types...
...unless the HK type can be eta-reduced to a class type.
Diffstat (limited to 'test/dotc')
-rw-r--r-- | test/dotc/tests.scala | 1 |
1 files changed, 1 insertions, 0 deletions
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) |