(j3.2006) TRANSFER

[Robert Corbett]

An engineer at Oracle recently asked me if the actual
argument passed to the argument MOLD of the intrinsic
function TRANSFER can be polymorphic.  If so, he wanted
to know if the declared type should be used or the
dynamic type.  I searched Clause 13 for the answer, but
I found nothing.  I told him to assume that it is allowed,
and that the declared type should be used.  Did I miss
something in the standard that answers his question?

Bob Corbett