Re: Limited_Controlled types as 'out' arguments

[mheaney@on2.com (Matthew Heaney)]

Lutz Donnerhacke <lutz@iks-jena.de> wrote in message news:<slrnbifg5p.o6.lutz@taranis.iks-jena.de>...
> * Matthew Heaney wrote:
> > Controlled types, like all tagged types, are passed by reference.
> 
> 'out' Parameters can't be read.

This statement is false.  

Controlled initialization for the object passed as the out parameter
of the call has already occured at the time of elaboration of the
object, which is prior to the call.

Controlled finalization of the object occurs when the scope containing
the declaration ends.

The issue of invokation of controlled operations is orthogonal to the
issue of whether the object is passed as an out parameter.

There is nothing wrong with your original example.