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

&raw ptr.yyy doesn't compile, and &raw (*ptr).yyy is UB if ptr is null or dangling. Not sure if there is currently a good work-around for that. (You can go through offset_of, but that throws type inference out of the window)