Como a extensão de uma slice muda após aplicar a função append na linguagem Go?

Na linguagem Go, a função append adiciona elementos a um slice e retorna um novo slice. Após aplicar append, o comprimento do slice aumenta na quantidade de elementos adicionados. Além disso, se o array interno do slice não puder acomodar os novos elementos, um novo array é criado, e o slice aponta para ele.

Exemplo:

s := []int{1, 2, 3}
fmt.Println(len(s)) // 3
s = append(s, 4, 5)
fmt.Println(len(s)) // 5

Dessa forma, o comprimento do slice após append é igual ao comprimento original mais a quantidade de elementos adicionados.