1 2 3 4 5 6 7 8 9 10 11
// CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>.C(A<A<T>>)' // Line: 8 interface A<T> { } interface B<in T> { void C(A<A<T>> a); }