rust (original) (raw)

Hey @joboet, thank you for your review! I tried rewriting in a clearer way, as you suggested.

However, I must confess that this is my first day learning about pinning in Rust - so, even though I think the new version is correct, it might sound verbose/obvious/redundant for more experienced folks:

As we'll see later, once a value is pinned, it is necessarily valid at its memory location until the end of its lifespan.

I also came up with the following variant, which is equally clear, but might be slightly different from what the original text meant:

As we'll see later, the guarantee of validity begins when the value is first pinned and necessarily lasts until the end of its lifespan.

Please let me know if you'd prefer this second version!

@rustbot ready