mcs/errors/cs1961-6.cs

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