mcs/errors/cs1961-38.cs

   1 // CS1961: The covariant type parameter `V' must be invariantly valid on `Both<U,V>(Covariant<None<Contra<V>>>)'
   2 // Line: 8
   3
   4 delegate T Covariant<out T> ();
   5 delegate void Contra<in T> (T t);
   6 delegate void None<T> (T t);
   7
   8 delegate void Both<in U, out V> (Covariant<None<Contra<V>>> b);