Clarify first use of "elide" in lifetime.md

[corincerami]

No description provided.

[rust-highfive]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @pcwalton (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. The way Github handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

[Gankra]

"elide" is standard community terminology for this family of behaviours, fwiw.

I think in this case, this is an improvement though.

@bors r+ rollup

[bors]

📌 Commit ac49eca has been approved by Gankro

[steveklabnik]

@bors: r-

[steveklabnik]

So: I do agree that 'elide' is a weird word, but we also call it "lifetime elision" everywhere, and so, in some sense, using this word aids discover-ability.

So I'd like to talk about it before we merge. I'm not sure what the right path of action here is, exactly.

[Gankra]

I would add a parenthetical mentioning the concept of "elision" here if that's really desirable.

I'd need to go over this section more to get the context, but I was under the impression that this was at a point where we're "not even ready" to discuss lifetime elision in earnest.

[corincerami]

That sounds like a reasonable idea. I think it makes sense to at least clarify the use of "elide", even if that just involves including something like "(see 'Lifetime Elision' below)" to the sentence.

[steveklabnik]

👍 to both things. I think a forward reference here is just fine. Maybe something like

lets you elide (i.e. not write, see "Lifetime Elision" below) them in

?

[corincerami]

👍 to that idea.

[steveklabnik]

Great! Amend this PR and we can

[corincerami]

🌈

[steveklabnik]

can you wrap this to 80 chars please?

[steveklabnik]

@bors: r+ rollup

[bors]

📌 Commit f490f51 has been approved by steveklabnik

[bors]

⌛ Testing commit f490f51 with merge e7b6056...

[bors]

☀️ Test successful - auto-linux-32-nopt-t, auto-linux-32-opt, auto-linux-64-nopt-t, auto-linux-64-opt, auto-linux-64-x-android-t, auto-mac-32-opt, auto-mac-64-nopt-t, auto-mac-64-opt, auto-win-gnu-32-nopt-t, auto-win-gnu-32-opt, auto-win-gnu-64-nopt-t, auto-win-gnu-64-opt, auto-win-msvc-32-opt, auto-win-msvc-64-opt

[corincerami]

🌈