Otherwise, if the destination type is an array,
the object is initialized as follows.
If the destination type is an array of unknown bound,
it is defined as having k
denote the array size after this potential adjustment.
is greater than n
the program is ill-formed.
Otherwise, the ith
array element is copy-initialized with
for each 1≤i≤k
value-initialized for each k<i≤n.
For each 1≤i<j≤n
every value computation and side effect associated with
the initialization of the ith
element of the array
is sequenced before those associated with
the initialization of the jth