← Back to context Comment by ummonk 6 months ago Safe Rust is demonstrably not memory-safe: https://github.com/Speykious/cve-rs/tree/main 13 comments ummonk Reply steveklabnik 6 months ago This is a compiler bug. This has no bearing on the language itself. Bugs happen, and they will be fixed, even this one. ummonk 6 months ago It's a 10 year old bug which will eventually be fixed but may require changes to how Rust handles type variance.Until you guys write an actual formal specification, the compiler is the language. steveklabnik 6 months ago It’s a ten year old bug because it has never been found in the wild, ever, in those ten years. Low impact, high implementation effort bugs take less priority than bugs that affect real users.The project is adopting Ferrocene for the spec. 9 replies →
steveklabnik 6 months ago This is a compiler bug. This has no bearing on the language itself. Bugs happen, and they will be fixed, even this one. ummonk 6 months ago It's a 10 year old bug which will eventually be fixed but may require changes to how Rust handles type variance.Until you guys write an actual formal specification, the compiler is the language. steveklabnik 6 months ago It’s a ten year old bug because it has never been found in the wild, ever, in those ten years. Low impact, high implementation effort bugs take less priority than bugs that affect real users.The project is adopting Ferrocene for the spec. 9 replies →
ummonk 6 months ago It's a 10 year old bug which will eventually be fixed but may require changes to how Rust handles type variance.Until you guys write an actual formal specification, the compiler is the language. steveklabnik 6 months ago It’s a ten year old bug because it has never been found in the wild, ever, in those ten years. Low impact, high implementation effort bugs take less priority than bugs that affect real users.The project is adopting Ferrocene for the spec. 9 replies →
steveklabnik 6 months ago It’s a ten year old bug because it has never been found in the wild, ever, in those ten years. Low impact, high implementation effort bugs take less priority than bugs that affect real users.The project is adopting Ferrocene for the spec. 9 replies →
This is a compiler bug. This has no bearing on the language itself. Bugs happen, and they will be fixed, even this one.
It's a 10 year old bug which will eventually be fixed but may require changes to how Rust handles type variance.
Until you guys write an actual formal specification, the compiler is the language.
It’s a ten year old bug because it has never been found in the wild, ever, in those ten years. Low impact, high implementation effort bugs take less priority than bugs that affect real users.
The project is adopting Ferrocene for the spec.
9 replies →