Nitpick: Safe Rust [_does_][0] let you construct null pointers -- it's _dereferencing_ them that's not allowed in safe Rust.

[0]: https://play.rust-lang.org/?version=stable&mode=debug&editio...