errors/gcs1961-8.cs

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