about summary refs log tree commit diff
diff options
context:
space:
mode:
authorKillTheMule <github@pipsfrank.de>2016-10-07 08:48:19 +0200
committerGitHub <noreply@github.com>2016-10-07 08:48:19 +0200
commit0d0cdb77dfe5efc9ded30e6ab8b175d602b07223 (patch)
tree559eb3b3eb0d21b757009ed2ecea41562b3691ff
parent2a0bd6db856929315876b2b875e5fcf22832ff58 (diff)
downloadrust-0d0cdb77dfe5efc9ded30e6ab8b175d602b07223.tar.gz
rust-0d0cdb77dfe5efc9ded30e6ab8b175d602b07223.zip
Wrap & improve
-rw-r--r--src/doc/book/lifetimes.md10
1 files changed, 6 insertions, 4 deletions
diff --git a/src/doc/book/lifetimes.md b/src/doc/book/lifetimes.md
index 652ed9d2f73..e865609f217 100644
--- a/src/doc/book/lifetimes.md
+++ b/src/doc/book/lifetimes.md
@@ -56,10 +56,12 @@ To fix this, we have to make sure that step four never happens after step
 three. The ownership system in Rust does this through a concept called
 lifetimes, which describe the scope that a reference is valid for.
 
-**Note** It's important to understand that lifetime annotations are _descriptive_, not _prescriptive_. This means that how long a reference is valid  is determined by the code, not by the annotations. The annotations, however, point out this fact to the compiler in case it can't figure it out by itself.
-
-When we have a function that takes an argument by reference, we can be
-implicit or explicit about the lifetime of the reference:
+**Note** It's important to understand that lifetime annotations are
+_descriptive_, not _prescriptive_. This means that how long a reference is valid
+is determined by the code, not by the annotations. The annotations, however,
+give information about lifetimes to the compiler that uses them to check the
+validity of references. The compiler can do so without annotations in simple
+cases, but needs the programmers support in complex scenarios.
 
 ```rust
 // implicit