[Mono-dev] Another compiler bug?

[Jerry Haltom]

using System;

namespace Bug
{
	public abstract class TestA
	{
		public abstract int P { get; }
	}
	
	public abstract class TestB : TestA
	{
	}
	
	public class TestC : TestB
	{
		public int P { get { return 1; } }
	}
}

Bug does not implement inherited abstract member
`Bug.TestA.P.get'(CS0534)

Um... since TestB is abstract, TestB should not require me to implement
it... and the implementation in TestC should be chosen. And TestC should
work.

ii  mono-gmcs      1.2.3.1-1ubunt Mono C# 2.0 compiler