That there's nothing unusual about these finds, the Drop static lifetime bug, or cve-rs is proof that Rust is not, and probably never will be, memory-safe. It's still an improvement though.

▲

hmry 12 minutes ago | parent [-]

Is a language only memory-safe if its implementations are completely bug-free? I guess no language can ever be memory-safe then, might as well throw out the concept.

▲

cowlevel 6 minutes ago | parent [-]

Last I heard, Rust has no independent spec so the compiler is the spec.

	▲	dxdm a minute ago \| parent [-]
		So? I don't understand how that matters here.