// CS8050: `C.P': Only auto-implemented properties can have initializers
// Line: 6

abstract class C
{
	public abstract int P { get; } = 4;
}