3 ms·
The core of the Rust safety model has been proven sound: https://plv.mpi-sws.org/rustbelt/ https://plv.mpi-sws.org/rustbelt/ If you peruse the list, all the iss
by Georgelemental 3y ago
The core of the Rust safety model has been proven sound: https://plv.mpi-sws.org/rustbelt/ https://plv.mpi-sws.org/rustbelt/ If you peruse the list, all the issues are either a) places where the actual implementation falls short of the theoretical model, bit there's a plan to fix it, or b) edge-case interactions with peripheral language features (statics and dynamic dispatch).
- int_19h 3y agoStatics are hardly a "peripheral language issue", though.
- Georgelemental 3y agoThe issue in question, https://github.com/rust-lang/rust/issues/49206 https://github.com/rust-lang/rust/issues/49206, is such an edge case that there are 0 known examples of it causing a problem in practice, despite the issue being around for many years.