tests/gtest-variance-6.cs

   1 // Compiler options: -langversion:future
   2
   3 interface ICovariant<out T> { }
   4 interface IContravariant<in T> { }
   5
   6 delegate ICovariant<U> Cov1<out U> (IContravariant<U> x);
   7 delegate ICovariant<U> Cov2<out U> (IContravariant<ICovariant<U>> x);
   8 delegate ICovariant<IContravariant<IContravariant<U>>> Cov3<out U> (IContravariant<IContravariant<IContravariant<ICovariant<U>>>> x);
   9 delegate ICovariant<int> Cov4<out U> ();
  10 delegate IContravariant<int> Cov5<out U> ();
  11
  12 delegate IContravariant<U[]> Contra5<in U> (U u, ICovariant<U> x);
  13 delegate IContravariant<U[]> Contra6<in U> ();
  14 delegate IContravariant<U> Contra7<in U> (U u, ICovariant<U> x);
  15 delegate IContravariant<ICovariant<U>> Contra8<in U> (U u, ICovariant<U> x);
  16
  17 interface ITest_1<out T>
  18 {
  19         ICovariant<T> CovariantHandler (IContravariant<T> x);
  20 }
  21
  22 interface ITest_2<in T>
  23 {
  24         IContravariant<T> CovariantHandler (ICovariant<T> x);
  25 }
  26
  27 class Program
  28 {
  29         static void Main ()
  30         {
  31         }
  32 }