diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bug715.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug715.scala | 15 |
2 files changed, 19 insertions, 0 deletions
diff --git a/test/files/neg/bug715.check b/test/files/neg/bug715.check new file mode 100644 index 0000000000..68b9709c05 --- /dev/null +++ b/test/files/neg/bug715.check @@ -0,0 +1,4 @@ +bug715.scala:12 error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' + override def children = super.chilren; + ^ +one error found diff --git a/test/files/neg/bug715.scala b/test/files/neg/bug715.scala new file mode 100644 index 0000000000..87b2525a63 --- /dev/null +++ b/test/files/neg/bug715.scala @@ -0,0 +1,15 @@ +package test; +trait B { + type Node <: NodeImpl; + trait NodeImpl { + def self : Node; + def chilren : List[Node]; + } +} +trait C extends B { + type Node <: NodeImpl; + trait NodeImpl extends super.NodeImpl { + override def children = super.chilren; + children; + } +} |