Section 4.7

Add at end of first paragraph.

Assigning fixed-size upacked arrays of unequal size to one another shall result in a type check error.

Change comment on A = C in the first and second examples from:

// compile-time error: different sizes

to

// type check error: different sizes

This will result in the following (with changes in blue).

A = C; // type check error: different sizes

In the second paragraph add to the last sentence after “this operation requires a run-time check”

that may result in an error.

This will result in the following (with changes in blue).

Unlike assigning with a fixed-size array, this operation requires a run-time check that may result in an error.

In the second example, declaration of C, change the comment from:

// dynamic array of 100 elements

to

// dynamic array of 8 elements

This will result in the following (with changes in blue).

int C[*] = new[8]; // dynamic array of 8 elements