[[Ownership]]

---

If a variable `x` moves ownership of heap data to another variable `y`, then `x` cannot be used after the move.