Внутренний слайс, который создаётся внутри функции при превышении capacity — он создаётся на стеке или на куче?

В Go, когда внутри функции создаётся внутренний слайс при превышении capacity, происходит выделение нового массива с увеличенным размером. Этот новый массив выделяется в куче, а слайс указывает на этот массив.

Сам слайс — это структура с тремя полями (указатель на массив, длина, ёмкость), которая обычно хранится на стеке функции. Но данные, на которые он ссылается (новый массив), размещаются в куче, чтобы сохранить их после выхода из функции и обеспечить динамическое расширение.