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 elements
. Let
n denote the array size after this potential adjustment
. If
k is greater than
n,
the program is ill-formed
. Otherwise, the
ith array element is copy-initialized with
xi for each
1≤i≤k, and
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 element
.