mcs/errors/cs1961-6.cs


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()'
// Line: 8

interface A<T>
{
}

interface B<in T>
{
	A<A<T>> C();
}