diff options
author | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-02-22 14:50:35 +0100 |
---|---|---|
committer | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-03-03 14:06:28 +0100 |
commit | 447256c89148e07dfddcfc065bd5f0946b0ae9aa (patch) | |
tree | fed57dba62faa52d87803c8acfb2db36cd5f8207 /tests/neg/customArgs/overrideClass.scala | |
parent | af8fc529dfc6e321f84c036f3ebeaeb62e8e38c4 (diff) | |
download | dotty-447256c89148e07dfddcfc065bd5f0946b0ae9aa.tar.gz dotty-447256c89148e07dfddcfc065bd5f0946b0ae9aa.tar.bz2 dotty-447256c89148e07dfddcfc065bd5f0946b0ae9aa.zip |
Neg tests: remove xerror parameter from tests (compute based on // error)
Diffstat (limited to 'tests/neg/customArgs/overrideClass.scala')
-rw-r--r-- | tests/neg/customArgs/overrideClass.scala | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/neg/customArgs/overrideClass.scala b/tests/neg/customArgs/overrideClass.scala new file mode 100644 index 000000000..803d97dd9 --- /dev/null +++ b/tests/neg/customArgs/overrideClass.scala @@ -0,0 +1,20 @@ + abstract class FooA { + type A <: Ax; + abstract class Ax; + abstract class InnerA { + type B <: A; + def doB : B; + } + } + trait FooB extends FooA { + type A <: Ax; + trait Ax extends super.Ax { def xxx : Int; } // error: cyclic inheritance: trait Ax extends itself + // (Note that inheriting a class of the same name is no longer allowed) + abstract class InnerB extends InnerA { + // type B <: A; + val a : A = doB; + a.xxx; + doB.xxx; + } + } + |