// cs0531-2.cs: `Interface.P.get': interface members cannot have a definition // Line: public interface Interface { int P { get {} } }