Laboratory / 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.
What changed
The trace has 4 states. The highlighted point tests whether mutation overlaps an active borrow.
Return to the route
Experiment after prediction.
Before changing a control, say which visible feature should move and which should remain invariant. That prediction is the useful part of the experiment; motion alone is not evidence.