Preview laboratory sketch / Computing

Ownership and systems

Trace ownership through a sequence of moves and borrows. Mark the exact last use of each reference, then test whether a proposed mutation overlaps an active immutable borrow.

Change one thing
55
35

Borrow length and Mutation point experiment

Trace ownership through a sequence of moves and borrows. Mark the exact last use of each reference, then test whether a proposed mutation overlaps an active immutable borrow.

own&mutownown
What changed

The trace has 4 states. The highlighted point tests whether mutation overlaps an active borrow.

Return to the sketch

Keep the status visible.

The dedicated lab format will replace this generic renderer during lesson conversion.