The hardened runtime improves things, but it's still a far cry from memory safety. For example `std::vector::erase` has no hardened precondition. And of course the rest of the language around the stdlib is still entirely unsafe, not just the C parts.
In theory, that will be taken care of with contracts and further revisions.
In practice, it depends on how the contracts drama folds out.
However I do agree it is still not quite there.
Still, C++ isn't going anywhere anytime soon, so any improvement is welcomed, even rustc has to gain from it.
I don't expect any RIR for GCC and LLVM happening any time soon, not only due to existing code, also due to all universities, and companies that contribute to upstream and aren't racing to adopt Rust.
ben-schaaf|14 hours ago
pjmlp|13 hours ago
In practice, it depends on how the contracts drama folds out.
However I do agree it is still not quite there.
Still, C++ isn't going anywhere anytime soon, so any improvement is welcomed, even rustc has to gain from it.
I don't expect any RIR for GCC and LLVM happening any time soon, not only due to existing code, also due to all universities, and companies that contribute to upstream and aren't racing to adopt Rust.