← Back to context Comment by ummonk 1 day ago Safe Rust is demonstrably not memory-safe: https://github.com/Speykious/cve-rs/tree/main 12 comments ummonk Reply steveklabnik 1 day 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 1 day 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 1 day 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. 8 replies →
steveklabnik 1 day 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 1 day 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 1 day 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. 8 replies →
ummonk 1 day 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 1 day 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. 8 replies →
steveklabnik 1 day 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. 8 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.
8 replies →