Там компилятор автоматически определяет, нужно ли переменную на стеке создавать (если она не покидает пределов области видимости) или в куче. Можно -gcflags -m использовать, оно скажет что будет на куче создаваться. Например:

type S struct {
    I int 
}
func foo() func () S {
    var s S
    fmt.Scan(s.I)
    return func () S { return s }
}

скажет "src/stack.go:13: s.I escapes to heap"

UPD: благодаря этому можно кстати поинтеры на локальные переменные возвращать без плохих последствий