bug1224.scala

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

trait C[T] {}

abstract class A {
 type T >: C[T] <: C[C[T]]
}