��のドキュメントです。
  </p>
</blockquote>

    <h1 class="title">References</h1>
    <p>This section gives a high-level view of the memory model that <em>all</em> Rust
programs must satisfy to be correct. Safe code is statically verified
to obey this model by the borrow checker. Unsafe code may go above
and beyond the borrow checker while still satisfying this model. The borrow
checker may also be extended to allow more programs to compile, as long as
this more fundamental model is satisfied.</p