t0654.scala

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

object Test {
  class Foo[T]
  type C[T] = Foo[_ <: T]
  val a: C[AnyRef] = new Foo[AnyRef]
}