Document desugaring that happen when creating hir

Author: matthewjasper

src/expressions/if-expr.md

@@ -92,5 +92,24 @@ let a = if let Some(1) = x {
 assert_eq!(a, 3);
 ```
 
+An `if let` expression is equivalent to a `match` expression as follows:
+
+```rust
+if let PAT = EXPR {
+    /* body */
+} else {
+    /*else */
+}
+```
+
+is equivalent to
+
+```rust
+match EXPR {
+    PAT => { /* body */ },
+    _ => { /* else */ },    // () if there is no else
+}
+```
+
 [_Expression_]: expressions.html
 [_BlockExpression_]: expressions/block-expr.html

src/expressions/loop-expr.md

@@ -85,6 +85,26 @@ while let Some(y) = x.pop() {
 }
 ```
 
+A `while let` loop is equivalent to a `loop` expression containing a `match`
+expression as follows.
+
+```rust
+'label: while let PAT = EXPR {
+    /* loop body */
+}
+```
+
+is equivalent to
+
+```rust
+'label: loop {
+    match EXPR {
+        PAT => { /* loop body */ },
+        _ => break,
+    }
+}
+```
+
 ## Iterator loops
 
 > **<sup>Syntax</sup>**  
@@ -118,6 +138,37 @@ for n in 1..11 {
 assert_eq!(sum, 55);
 ```
 
+A for loop is equivalent to the following block expression.
+
+```rust
+'label: for PATTERN in iter_expr {
+    /* loop body */
+}
+```
+
+is equivalent to
+
+```rust
+{
+    let result = match IntoIterator::into_iter(iter_expr) {
+        mut iter => 'label: loop {
+            let next;
+            match iter.next() {
+                Some(val) => next = val,
+                None => break,
+            };
+            let PAT = next;
+            let () = { /* loop body */ };
+        },
+    };
+    result
+}
+```
+
+> **Note**: that the outer `match` is used to ensure that any
+> [temporary values] in `iter_expr` don't get dropped before the loop is
+> finished.
+
 ## Loop labels
 
 > **<sup>Syntax</sup>**  
@@ -210,6 +261,7 @@ and the `loop` must have a type compatible with each `break` expression.
 expression `()`.
 
 [IDENTIFIER]: identifiers.html
+[temporary values]: expressions.html#temporary-lifetimes
 
 [_Expression_]:      expressions.html
 [_BlockExpression_]: expressions/block-expr.html