I think this and the original post misunderstands what the borrow checker fundamentally is. The only way to "abstract the borrow checker" is to write another la

I think this and the original post misunderstands what the borrow checker fundamentally is. The only way to "abstract the borrow checker" is to write another language on top of Rust.