diff options
| author | odersky <odersky@gmail.com> | 2014-12-13 17:51:43 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2014-12-13 17:51:43 +0100 |
| commit | 1466e88efacd7247d426974160fd8968f8921b0b (patch) | |
| tree | c1d1ccf4702ff9f3d19b4c1204cc62c930de8b36 /test | |
| parent | 7cdf3d0dc5709634825b1300d77d1a0ef01c69fa (diff) | |
| parent | 94027830eb9c38784b141801bcfae996cd63d896 (diff) | |
| download | dotty-1466e88efacd7247d426974160fd8968f8921b0b.tar.gz dotty-1466e88efacd7247d426974160fd8968f8921b0b.tar.bz2 dotty-1466e88efacd7247d426974160fd8968f8921b0b.zip | |
Merge pull request #278 from dotty-staging/fix/#248-inherit-refinements
Fix #248: Class cannot inherit from refinement types
Diffstat (limited to 'test')
| -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 9e1d26c55..f5072be96 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -107,6 +107,7 @@ class tests extends CompilerTest { @Test def neg_cycles = compileFile(negDir, "cycles", xerrors = 8) @Test def neg_boundspropagation = compileFile(negDir, "boundspropagation", xerrors = 4) @Test def neg_refinedSubtyping = compileFile(negDir, "refinedSubtyping", xerrors = 2) + @Test def neg_i0248_inherit_refined = compileFile(negDir, "i0248-inherit-refined", xerrors = 4) @Test def dotc = compileDir(dotcDir + "tools/dotc", twice)(allowDeepSubtypes) @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice) |