Idea / Pre-RFC: Null-free pointer and Zeroable reference

jhpratt:

So aside from an integral part of the language, which you're explicitly disregarding for unclear reasons.

The 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.

jhpratt:

You can't simply declare something to be true while closing your eyes and plugging your ears.

What 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.