scoping2.scala

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

object That {
     trait A {
         type T <: I;
         trait I {}
     }
     trait B {
     	type T <: J;
     	trait J {}
     }
     trait C extends A with B {
         type T <: I with J;
     }
}