Visualizing the Borrow Checker

Identify how the compiler enforces that references do not outlive the data they point to.