Idea / Pre-RFC: Null-free pointer and Zeroable reference
Rust Internals [Unofficial]
March 7, 2026
Revisiting the entire thread, there appears to be a divergence in how the issue is perceived. In most environments, workarounds like volatile access, wrapper crates, and extra abstractions are considered a sensible and sufficient solution. But in bare-metal environments where every single byte counts, the same becomes a blocking problem; and in mission-critical environments, the very need for a workaround is itself an audit failure or even defect. This proposal originates from the latter perspective, and given that Rust treats bare-metal as a first-class target, I believe this perspective warrants proportional consideration; not in number, but in worst-case failure cost.
We can't always have a perfect day. That's life; we must be prepared.
Discussion in the ATmosphere