From 04eea24326c3a42ad908fe45e204af41b880f2cd Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 12 Apr 2015 18:05:11 +0200 Subject: Self type inheritance check Check that the self type of a class conforms to the self types of its parent classes. --- 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 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) -- cgit v1.2.3