I feel like your charactization of Rust is based on a misunderstanding. Safe Rust does not rely on predicting every future execution path, nor on understanding all runtime states. Safe Rust relies on making it provably impossible to take an execution path or reach a runtime state that is unsafe. This is a completely, entirely distinct approach and is not anything like existing static analyses e.g. of C. In fact that…
Before accusing others of misunderstanding, do a little research yourself. Don’t wholeheartedly believe ads without examining them first.
Ads? I've been using Rust since 2020. My last job was in Rust.
I accuse you of nothing, I only wanted to clarify.