| // FIXME To see the "real" compiler error, change both `&'b` and `&'e` into `&` |
| |
| fn main() { // `'main` starts ────────────────────────────────────────────┐ |
| let stack_integer: int = 5; // `'a` starts ─────────────────────────┐ │ |
| let boxed_integer = box 4; // `'b` starts ────────────────────────┐ │ │ |
| // │ │ │ |
| // This is a valid operation │ │ │ |
| let ref_to_box: &'b int = &*boxed_integer; // `'c` starts ──────┐ │ │ │ |
| // │ │ │ │ |
| // The compiler forbids this operation, because │ │ │ │ |
| // `ref_to_another_box` would become a dangling pointer │ │ │ │ |
| let ref_to_another_box: &'e int = { // `'let` `'d` start ───┬─┐ │ │ │ │ |
| let another_boxed_integer = box 3; // `'e` starts ────┐ │ │ │ │ │ │ |
| // │ │ │ │ │ │ │ |
| &*another_boxed_integer // │ │ │ │ │ │ │ |
| }; // `'e` `'let` end ────────────────────────────────────┴─┘ │ │ │ │ │ |
| // │ │ │ │ │ |
| let invalid_dereference = *ref_to_another_box; // │ │ │ │ │ |
| } // `'d` `'c` `'b` `'a` `'main` end ─────────────────────────────┴─┴─┴─┴─┘ |
