> I feel that a Rust-like language could be built with no borrow checker, simply by allocating twice the memory.

If that's what you're looking for, have you considered OCaml?