path: root/test/files/neg/t1355.check

t1355.scala:1: error: type arguments [A[T]] do not conform to trait A's type parameter bounds [T <: A[A[T]]]
trait A[T <: A[A[T]]]
             ^
one error found