18b308039 ^
1 2 3 4
class Test { // error: conflicting bounds trait T[X] type Z[X] >: String <: T[X] }