How do the linear types here relate (or not relate) to the Borrow Checker in Rust?