The borrow checker is pervasive. You can’t just abstract it away. There’s a reason it’s explicit. If you think it’s possible, try designing what it would look

The borrow checker is pervasive. You can’t just abstract it away. There’s a reason it’s explicit. If you think it’s possible, try designing what it would look like, and what it would compile your code to. You will quickly find that it can’t work without losing the quintessence of Rust completely (and a lot of performance).