errors/gcs1961-4.cs

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