bug1275.check

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

bug1275.scala:13: error: The kind of type MyType does not conform to the expected kind of type MyType[+t] <: TestCovariance.Seq[t] in trait Seq.
    def span[a, s <: Seq[a] { type MyType <: s } ](xs: s): s = xs f
                                   ^
one error found