Introduction to the borrow checker