I think you just described Rust (although you have to deal with / get to take advantage of the borrow checker).