Borrowing Trouble: The Difficulties of a C++ Borrow-Checker
docs.google.com