type A = class fielda: T; end; B = class(A) property PropA: T read fielda; end; begin var b1 := new B; Assert(b1.PropA = 0); end.