trait B[S] { type T = S; val c = new Array[T](1) }