path: root/test/files/neg/t1224.scala

trait C[T] {}

abstract class A {
 type T >: C[T] <: C[C[T]]
}