← 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 21 hours 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 19 hours 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 19 hours 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 21 hours 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 19 hours 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 19 hours 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 19 hours 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 19 hours 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 19 hours 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 →