mcs/tests/gtest-529.cs

   1 using System;
   2
   3 public class GenericType<U, V> where U : IEquatable<U> where V : IEquatable<V>
   4 {
   5         public U u;
   6 }
   7
   8 public class Base<V> where V : IEquatable<V>
   9 {
  10         public virtual T Test<T> (GenericType<T, V> gt) where T : IEquatable<T>
  11         {
  12                 return gt.u;
  13         }
  14 }
  15
  16 public class Override<W> : Base<W> where W : IEquatable<W>
  17 {
  18         public override T Test<T> (GenericType<T, W> gt)
  19         {
  20                 return base.Test (gt);
  21         }
  22 }
  23
  24 class M
  25 {
  26         public static int Main ()
  27         {
  28                 Base<byte> b = new Override<byte> ();
  29                 b.Test (new GenericType<int, byte> ());
  30                 return 0;
  31         }
  32 }