bug715.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 16 行

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;
  }
}