Section 4.4
Width casts

 

In 4.4, REPLACE

 

When changing the size, the signing passes through unchanged.  When changing the signing, the size passes through unchanged.

 

 

WITH

 

When changing the size, the signing shall pass through unchanged and the result type shall be a one-dimensional packed array with a right bound of zero.  When changing the signing, the type of the expression to be cast shall pass through unchanged, except for the signing.