A function appends to a slice. Which rule keeps the result correct whether or not a new b…

A function appends to a slice. Which rule keeps the result correct whether or not a new backing array is allocated?

1. Always retain the slice value returned by `append`.
2. Ignore the return value when the original slice has spare capacity.
3. Take the address of the first element before every append.