ong>NOTE: The model that follows is generally agreed to be dubious and have
issues. It&#39;s ok-ish as an intuitive model, but fails to capture the desired
semantics. We leave this here to be able to use notions introduced here in later
sections. This will be significantly changed in the future. TODO: do that.</strong></p>

<h1 id='paths' class='section-header'><a href='#paths'>Paths</a></h1>
<p>If all Rust had were values (no pointers), then every value would be uniquely
owned by a variable or composite st