ructure. From this we naturally derive a
<em>tree</em> of ownership. The stack itself is the root of the tree, with every
variable as its direct children. Each variable&#39;s direct children would be their
fields (if any), and so on.</p>

<p>From this view, every value in Rust has a unique <em>path</em> in the tree of
ownership. Of particular interest are <em>ancestors</em> and <em>descendants</em>: if <code>x</code> owns
<code>y</code>, then <code>x</code> is an ancestor of <code>y</code>, and <code>y</cod