summaryrefslogtreecommitdiff
path: root/test/files/neg/bug1275.check
blob: 6ff92a7823a793903d69a47db3a8da57f7cc8d52 (plain) (blame)
1
2
3
4
bug1275.scala:13: error: The kind of type MyType does not conform to the expected kind of type MyType[+t] <: TestCovariance.this.Seq[t] in trait Seq.
    def span[a, s <: Seq[a] { type MyType <: s } ](xs: s): s = xs f
                                   ^
one error found