errors/gcs1961-16.cs

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