good.scala

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

package test;
trait HasNodeXXX {
  type Node <: NodeImpl;
  trait NodeImpl;
}
trait ScalaFlowScannerZZZ extends HasNodeXXX {
  type Node <: NodeImpl;
  trait NodeImplA extends super.NodeImpl;
  trait NodeImplB extends super.NodeImpl;
  trait NodeImpl extends NodeImplA with NodeImplB;
}