mcs/tests/test-753.cs

   1 interface IA
   2 {
   3         string val { get; set; }
   4 }
   5
   6 interface IAI : IA
   7 {
   8         new int val { get; set; }
   9 }
  10
  11 interface IAI2 : IAI { }
  12
  13 class AI2 : IAI2
  14 {
  15         public int val { get { return 42; } set { } }
  16         string IA.val { get { return "13"; } set { } }
  17
  18         public void stuff (IAI2 other)
  19         {
  20                 val = other.val;
  21         }
  22
  23         public static void Main ()
  24         {
  25         }
  26 }