[fpc-devel] properties accessing field of nested object ?

[Martin]

I know a property read/write to a member of a record, if that record is 
a field of the class.

I tested the following code, it seems fpc also allows that for classes.

type
   TFoo = class
   protected
     cn: Integer;
   end;

   TForm1 = class(TForm)
   private
     a:TFoo;
   public
     property b: Integer read a.cn write a.cn;
   end;

I have not tested it at runtime.... I assume it depend on a being 
initialized with an instance.

Question, is that allowed by intention? That is can I trust that it will 
be supported by future fpc versions?

Or is that a missing check somewhere, and bay stop working in future?