I got that while trolling Rust developers a bit on this point, and had to concede-- it's a fair point.

I do think that rust doesn't (yet) have enough affordances for formal verification of algorithmic correctness-- but if you're not chasing memory safety you have more time to deal with other issues.