tests/test-723.cs

   1 interface ICollectionValue
   2 {
   3         int Count { get; }
   4 }
   5
   6 interface ISCGCollection
   7 {
   8         int Count { get; }
   9 }
  10
  11 interface ICollection : ISCGCollection, ICollectionValue
  12 {
  13         new int Count { get; }
  14 }
  15
  16 interface ISequenced : ICollection
  17 {
  18 }
  19
  20 class Test : ISequenced
  21 {
  22         public int Count { get { return 0; } }
  23 }
  24
  25 static class Maine
  26 {
  27         public static int Main ()
  28         {
  29                 ISequenced t = new Test ();
  30                 if (t.Count != 0)
  31                         return 1;
  32                 return 0;
  33         }
  34 }