// CS0531: `I.P': interface members cannot have a definition
// Line: 6

interface I
{
	int P => 1;
}