Rusts advantage is that is has made language level design tradeoffs to achieve semantics that allow for this kind of static analysis. And they only just barely

Rusts advantage is that is has made language level design tradeoffs to achieve semantics that allow for this kind of static analysis. And they only just barely managed to get something usable in the beginning. Rust ergonomics have improved a lot since 1.0. The criticism here is that C(++) advocates often claim the language is fine, and static analysis is enough to fix the problems. Rust is hopefully just a stepping stone to something better, but the assumption that no new language semantics are needed is denial.