¿Cuándo se vuelve a declarar un slice dentro de una función al superar la capacidad, se declara en el montón o en la pila?

En Go, un slice es una estructura que contiene un puntero a un array, una longitud y una capacidad. Cuando añades elementos y superas la capacidad actual del slice, se asigna un nuevo array con mayor capacidad.

Este nuevo array se asigna en el montón, no en la pila, porque su tamaño y tiempo de vida no pueden ser determinados en tiempo de compilación. Después de esto, el slice dentro de la función apunta a este nuevo array en el montón.

Ejemplo:

func appendElement(s []int, val int) []int {
    s = append(s, val) // si la capacidad no es suficiente, se asigna un nuevo array en el montón
    return s
}

De esta manera, al superar la capacidad, el slice se vuelve a declarar con un nuevo array que se ubica en el montón.