1 2 3 4 5 6
object test { type A = List[A] type B[T] = List[B[B[T]]] trait I { type E } type C = I { type E = C } }