Do you have specific examples of Rust features you claim are unnecessary?

Rust would not work at all with the borrow check as a separate tool, by the way. It would be comically easy to write broken code.