Code:

type t = class

   function a: integer; {статический}

   function b: integer; virtual;

   function c: integer; dynamic;

   property i: integer read a; { ok }

   property j: integer read b; { ok }

   property k: integer read c;{ ОШИБКА: type mismatch (не совпадение типа) }

end;