Do you have specific examples of Rust features you claim are unnecessary?<p>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.