{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreia3xhx5ojpcgfmqllwvyvl3suoik7lzt7fet5p42jftkb4hwkx5ee",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mgh6fydzanz2"
  },
  "path": "/t/idea-pre-rfc-null-free-pointer-and-zeroable-reference/23991?page=5#post_87",
  "publishedAt": "2026-03-07T02:52:06.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "H4n_uL:\n\n> consequences of changing it, or an example of code whose soundness depends on this axiom beyond `NonNull<T>` - appears to have been presented in this thread.\n\nSo aside from an integral part of the language, which you're explicitly disregarding for unclear reasons.\n\nH4n_uL:\n\n> so this point is settled.\n\nThat's not at all how the process works. Addressing the top-level post itself in its current state, it is still not clear why you necessitate a language change here. Everything you propose can be accomplished in a third-party library. You can't simply declare something to be true while closing your eyes and plugging your ears. Issues have been raised; _you_ are the one that needs to address them.",
  "title": "Idea / Pre-RFC: Null-free pointer and Zeroable reference"
}