Merge b33c4c8a55 into 8e6aa34485

src/lifetimes.md

@@ -32,9 +32,10 @@ explicitly is *extremely noisy*. All Rust code relies on aggressive inference
 and elision of "obvious" things.
 
 One particularly interesting piece of sugar is that each `let` statement
-implicitly introduces a scope. For the most part, this doesn't really matter.
+implicitly introduces a scope immediately after the declaration. For the most part,
-However it does matter for variables that refer to each other. As a simple
+this doesn't really matter.  However it does matter for variables that refer to
-example, let's completely desugar this simple piece of Rust code:
+each other. As a simple example, let's completely desugar this simple piece of
+Rust code:
 
 ```rust
 let x = 0;
@@ -47,21 +48,24 @@ likely desugar to the following:
 
 <!-- ignore: desugared code -->
 ```rust,ignore
-// NOTE: `'a: {` and `&'b x` is not valid syntax!
+// NOTE: `'global_lifetime: {` and `&'x_lifetime x` is not valid syntax!
-'a: {
+'global_lifetime: {
     let x: i32 = 0;
-    'b: {
+    'x_lifetime: {
-        // lifetime used is 'b because that's good enough.
+        // lifetime used is 'x_lifetime because that's good enough.
-        let y: &'b i32 = &'b x;
+        let y: &'x_lifetime i32 = &'x_lifetime x;
-        'c: {
+        'y_lifetime: {
-            // ditto on 'c
+            // ditto on 'y_lifetime
-            let z: &'c &'b i32 = &'c y;
+            let z: &'y_lifetime &'x_lifetime i32 = &'y_lifetime y;
         }
     }
 }
 ```
 
-Wow. That's... awful. Let's all take a moment to thank Rust for making this easier.
+Wow. That's... awful. Let's all take a moment to thank Rust for making this
+easier. To make matter worse, traditionally, lifetimes are not as descriptive
+and simply called `'a`, `'b`, and so on. We will respect this tradition going
+forward.
 
 Actually passing references to outer scopes will cause Rust to infer
 a larger lifetime: