Поэтому лучше бы просто сказали, что при изменении поведение не определено, и все. В остальном safety гарантий рантайма достаточно. Это бы в частности позволило итератору идти прямо по массиву, который был под списком на момент начала итерации, было бы быстрее. Сейчас этого нет.