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

josh:

We already have smart pointers that provide lifetime tracking and borrow semantics

Don't smart pointers ultimately rely on &T internally? Either way, I'd like to see a concrete example to evaluate whether they can provide expressiveness equivalent to &T.