{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibj3a7kzvnd6bfilvcmy3ehofqp6fjqoyhdfeiyjemuvoajvf6qde",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mgi7xtbwiz72"
  },
  "path": "/t/idea-pre-rfc-null-free-pointer-and-zeroable-reference/23991?page=5#post_88",
  "publishedAt": "2026-03-07T03:29:54.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "jhpratt:\n\n> So aside from an integral part of the language, which you're explicitly disregarding for unclear reasons.\n\nThe question was specifically about raw ptr semantics whether there is existing code whose soundness depends on the AM axiom specifically at `*const T` / `*mut T` beyond what `NonNull<T>` already explicitly guarantees.\n\njhpratt:\n\n> You can't simply declare something to be true while closing your eyes and plugging your ears.\n\nWhat is 'settled' is whether the problem - someone must access 0x0 - exists(refer #2-#62), not the entire proposal. The proposal itself and its design is of course open for discussion.",
  "title": "Idea / Pre-RFC: Null-free pointer and Zeroable reference"
}