Theoretically the Rust borrow-checker also knows enough about your code's protection and dispatch semantics such that additional information could be used to cr

Theoretically the Rust borrow-checker also knows enough about your code's protection and dispatch semantics such that additional information could be used to create deeper optimizations than are available in either C or C++. Numerical analysis in Rust could compete with Fortran in performance, but I don't know if any of that has been actualized in Rust yet.