mcs/tests/test-723.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

interface ICollectionValue
{
	int Count { get; }
}

interface ISCGCollection
{
	int Count { get; }
}

interface ICollection : ISCGCollection, ICollectionValue
{
	new int Count { get; }
}

interface ISequenced : ICollection
{
}

class Test : ISequenced
{
	public int Count { get { return 0; } }
}

static class Maine
{
	public static int Main ()
	{
		ISequenced t = new Test ();
		if (t.Count != 0)
			return 1;
		return 0;
	}
}