La linia a 7-a, se concluzionează că array-ul intern va fi suprasolicitat și va fi creat unul nou. De ce ai decis așa?

В Go срезы (slices) имеют внутренний массив, который хранит данные. Когда добавляем элемент через append, если текущий внутренний массив заполнен, создаётся новый массив с увеличенной ёмкостью, и данные копируются туда.

На 7-й строке, вероятно, происходит append к срезу, который уже достиг своей ёмкости. Поэтому создаётся новый массив, чтобы вместить дополнительные элементы.

Это поведение можно проверить так:

s := make([]int, 0, 2) // длина 0, ёмкость 2
s = append(s, 1, 2)     // теперь длина 2, ёмкость 2
s = append(s, 3)        // ёмкость недостаточна, создаётся новый массив

Таким образом, вывод о создании нового массива основан на знании внутренней реализации срезов в Go и наблюдении, что длина достигла ёмкости.