1 2 3 4 5 6 7
// CS1961: The contravariant type parameter `T' must be covariantly valid on `A<T>.B()' // Line: 6 interface A<in T> { T B(); }