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