blob: 69092ce7abe86d4bd859c50611a6ddaf16fa891b (
plain) (
tree)
|
|
trait Param[T]
trait Abs { type T }
trait Cyclic1[A <: Param[A]] // works
trait Cyclic2[A <: Abs { type T <: A }] // fails
trait Cyclic3 { type A <: Abs { type T = A } } // fails
trait Cyclic4 { type A <: Param[A] } // works
|