then an object of
the same type as the current value of a is created. This current
value must not be void. If the type constructor contains or is a
aggregate then this aggregate is assigned to the new object as
described in 7.3. If the new object defines a
parameterless init method, cf. 5, this is called before
attributes defined by initialized declarations are assigned their
initial values. Aggregates and init methods are mutual exclusive.