1 2 3 4 5 6 7
// CS0531: `I.P': interface members cannot have a definition // Line: 6 interface I { int P => 1; }