assignment aggregates in controlled types

[sbelmont700@gmail.com]

hi,

Does anyone know what, if anything, the language say about the use of assignment aggregates during adjust/finalize procedures?  If you do something like this:

procedure Finalize (Object : in out T) is
begin
  Object := (x => 0);
end;

does not that create a temporary object on the RHS that is assigned (and adjusted) into the LHS, and then the RHS itself finalized by calling Finalize, and then it's finalization procedures all the way down?  For types that are not required to build-in-place, it's unspecified whether it is (right?), so presumably that's a valid behavior?  Is such behavior prohibited, expected, undefined, implementation-defined, or even mentioned in the LRM at all?

-sb

PS - no amount of spamming by the crazies will make this newsgroup any less valuable, please don't let it discourage anyone from participating.