I think, C++ U OCaml ===> Rust.

Do you know about any language with as strong or stronger borrow checker than that of Rust?