8. Borrowing

`&T` is a shared borrow, `&mut T` an exclusive one. You may have many shared borrows or exactly one mutable borrow, never both at once. The borrow checker enforces this at compile time, removing data races and use-after-free without a garbage collector.