Are you suggesting if rust removed "safe in practice" features (only keeping theoretically safe features) it would lead to less exploitable software? If so I strongly disagree with you. Every language is rife with features that can be used in unsafe way but in practice increases security.
I read this more as a “let’s be precise about what’s actually guaranteed” and not an exhortation to avoid Rust.
Rust is my favorite compiled language, and that’s why I’d like conversations about Rust to be grounded in formal guarantees and not in incidental properties.
