mcs/errors/cs1961-4.cs

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