// CS1961: The contravariant type parameter `T' must be covariantly valid on `A.B()' // Line: 6 interface A { T B(); }