If that were true, you could cross compile Windows 10 to Rust Source code (or whatever language you think its magic enough to be safe), compile it from that language, and then it would never have a security problem again.
Obviously that's not true.
Obviously that's not true.
Nevertheless, if you wrote OpenSSL in Rust, or any memory-safe language, it would not have those memory-unsafety vulnerabilities.
The same applies when writing in a capability-safe language. It's fairly deliberately ignorant to call these kind of properties "magic".