diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-28 19:33:35 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-07-06 17:02:17 +0200 |
commit | 175499537c87c78d0b926d84b7a9030011e42c00 (patch) | |
tree | 20d6897f2dc55689dc90650fba09259d228cb622 /test/dotc/tests.scala | |
parent | 1061743aaaf2b18419c8fdb1cc89cb1498c9673f (diff) | |
download | dotty-175499537c87c78d0b926d84b7a9030011e42c00.tar.gz dotty-175499537c87c78d0b926d84b7a9030011e42c00.tar.bz2 dotty-175499537c87c78d0b926d84b7a9030011e42c00.zip |
Check that a self type T is closed.
What is checked: A self type T is a subtype of all
selftypes of classes refernced by T. That is, a self type
has to subsume all self types of its required type. Ot,
otherwise said, requirements must be closed; you cannot
discover new ones in following them.
Diffstat (limited to 'test/dotc/tests.scala')
-rw-r--r-- | test/dotc/tests.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index ee7b93297..3bce26253 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -138,7 +138,7 @@ class tests extends CompilerTest { @Test def neg_moduleSubtyping = compileFile(negDir, "moduleSubtyping", xerrors = 4) @Test def neg_escapingRefs = compileFile(negDir, "escapingRefs", xerrors = 2) @Test def neg_instantiateAbstract = compileFile(negDir, "instantiateAbstract", xerrors = 8) - @Test def neg_selfInheritance = compileFile(negDir, "selfInheritance", xerrors = 5) + @Test def neg_selfInheritance = compileFile(negDir, "selfInheritance", xerrors = 6) @Test def neg_selfreq = compileFile(negDir, "selfreq", xerrors = 4) @Test def neg_shadowedImplicits = compileFile(negDir, "arrayclone-new", xerrors = 2) @Test def neg_traitParamsTyper = compileFile(negDir, "traitParamsTyper", xerrors = 5) |