Propagation of immutable slots and array lengths.