pan> <span class='op'>=</span> <span class='kw-2'>&amp;</span><span class='ident'>x</span>;
<span class='kw'>let</span> <span class='ident'>z</span> <span class='op'>=</span> <span class='kw-2'>&amp;</span><span class='ident'>y</span>;</pre>

<p>The borrow checker always tries to minimize the extent of a lifetime, so it will
likely desugar to the following:</p>

<span class='rusttest'>fn main() {
    // NOTE: `&#39;a: {` and `&amp;&#39;b x` is not valid syntax!
&#39;a: {
    let x: i32 = 0;
    &#39;b: {
  