如果 Grow 增长了一个切片，我们可以对新增元素的零性做出哪些假设？当前实现保证它们是零。我们能记录这个事实吗？
我有一个循环看起来像这样：

var s []T = ...   // possibly a pooled slice
mustZero  := true // we do not know the cleanliness of unused capacity
for hasMore() {
    if len(s) == cap(s) {
        s = slices.Grow(s, 1)
        mustZero = false // TODO: Is it safe to assume extended elements are zero?
    }
    s = s[:len(s)+1]
    e := &s[len(s)-1]
    if mustZero {
        *e = T{} // T may be large, so we want to avoid doing this if possible
    }
    mergeInto(e)
}

作为优化，它依赖于 slices.Grow 用零元素扩展切片，但这不是一个文档化的保证。
cc @ianlancetaylor