t0513.scala

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

object Test {
    case class Y[T1, T2 <: T1]
    //val test = Y[Nothing, Int]  // Compiler error
    case class Test[T]
    val test2 = Test[Y[Nothing, Int]]  // No error
}