type T = class auto property X: integer; static auto property Y: integer; end; begin end.