bug1090.scala

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

object Test {
  trait Manager {
    type Node;
    def elements : Iterator[Node]
  }
  trait Core {
    type Node;
    trait NodeImpl
    trait Manager extends Test.Manager {
      type Node = Core.this.Node
    }
    def f(manager : Manager) = manager.elements.foreach{
      case node : NodeImpl => 
    }
  }
}