// CS0500: `A.Foo.get' cannot declare a body because it is marked abstract
// Line: 5

public abstract class A {
	public abstract int Foo { get { return 1; } }
}