Rust's concept of lifetime and scopes exists independently of the borrow checker