There are guarantees that many types of bugs won't happen in Rust code. That alone is a great progress.