3 ms·
Despite these bugs, I still feel confident in Rust's ability to provide strong memory-safety guarantees. Two reasons: 1. The Rust team is on top of releasing f
by moosingin3space 8y ago
Despite these bugs, I still feel confident in Rust's ability to provide strong memory-safety guarantees. Two reasons:
1. The Rust team is on top of releasing fixes for these bugs. Additionally, the new borrow checker has detected all of the recent borrowck bugs.
2. The code required to produce this does not look like idiomatic Rust. One would hope an organization adopting Rust would choose to review such blocks of code with more scrutiny. That said, this isn't enough of a guarantee -- such code could be buried deep inside a large patch, making it challenging to discover.
I eagerly await the new borrow checker, and other projects aimed at increasing confidence in the Rust compiler's checks.