semantic: Handle changing size in array casts.