On Friday, 6 February 2015 at 22:24:48 UTC, Walter Bright wrote:
Rust has "unsafe" blocks with specific instructions that it
cannot be verified mechanically and it is up to the programmer
to ensure a safe interface to it.
So no, Rust didn't get that working, either, and it is far
beyond current compiler technology to do it.
Rust guarantees, though, that all code outside of unsafe
blocks/functions is completely safe, which D doesn't do because
of trusted. I think that `unsafe` in Rust is more like @trust in
D, but I'm not completely sure about that.
