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/?v

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&edition=2021&gist=800d015d6a7facf22209bf708c1e1d76 https://play.rust-lang.org/?version=stable&mode=debug&editio...