// CS1961: The covariant type parameter `U' must be contravariantly valid on `D<U>()' // Line: 6 interface IContravariant<in T> { } delegate IContravariant<U[]> D<out U> ();