Folks, can someone enlighten me on how new Argument Liveness https://golang.org/doc/go1.8#liveness https://golang.org/doc/go1.8#liveness works ? I mean, so now

Folks, can someone enlighten me on how new Argument Liveness https://golang.org/doc/go1.8#liveness https://golang.org/doc/go1.8#liveness works ? I mean, so now if you are in the middle of a long function, you cannot be sure anymore if parameters passed to that function are not GC'd? Or compiler does some hinting on "ooh, this param is not used after that point in function, lets mark it as `ready for GC`?