diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-04-12 18:05:11 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-04-13 16:05:12 +0200 |
| commit | 04eea24326c3a42ad908fe45e204af41b880f2cd (patch) | |
| tree | 54ef40e919a1a4c1df25f0872c998979f4135811 /test/dotc/tests.scala | |
| parent | d4dc78c3ebe4e8b559c3a85b6b77c321b239bb90 (diff) | |
| download | dotty-04eea24326c3a42ad908fe45e204af41b880f2cd.tar.gz dotty-04eea24326c3a42ad908fe45e204af41b880f2cd.tar.bz2 dotty-04eea24326c3a42ad908fe45e204af41b880f2cd.zip | |
Self type inheritance check
Check that the self type of a class conforms to the self types of its parent classes.
Diffstat (limited to 'test/dotc/tests.scala')
| -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 a015b9efe..c3f501a52 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -126,6 +126,7 @@ class tests extends CompilerTest { @Test def neg_i0281 = compileFile(negDir, "i0281-null-primitive-conforms", xerrors = 3) @Test def neg_moduleSubtyping = compileFile(negDir, "moduleSubtyping", xerrors = 4) @Test def neg_escapingRefs = compileFile(negDir, "escapingRefs", xerrors = 2) + @Test def neg_selfInheritance = compileFile(negDir, "selfInheritance", xerrors = 5) @Test def dotc = compileDir(dotcDir + "tools/dotc", failedOther)(allowDeepSubtypes ++ twice) // see dotc_core @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", failedOther ++ twice) |