3 ms·
If the formalization discovers more (or more significant) soundness holes, would that be a possible reason for a Rust 2.0 release?
by majewsky 7y ago
If the formalization discovers more (or more significant) soundness holes, would that be a possible reason for a Rust 2.0 release?
- steveklabnik 7y agoIn theory, if there were incredibly massive holes that affected most Rust code and could not be fixed without backwards-incompatible changes, I guess so. Details matter in cases like these. It would just depend.
- kibwen 7y agoThis was something that kept me up at night in the run-up to Rust 1.0 and beyond (dreadful memories of the leakpocalypse), but so far we seem to have been quite lucky in that nobody has yet discovered a dramatic and fundamentally damning soundness flaw (and the progress of formal verification since 1.0 has increased confidence somewhat in the absence of such a flaw, but `Pin` represents a rather hairier increase in surface area than is usual... fingers crossed :P ).