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.

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