Beingessner: Rust's Unsafe Pointer Types Need An Overhaul

The parts of the article that talk about CHERI, on the other hand, are dealing with the real world of a computer that absolutely *is* distinguishing a pointer (which has the untamperable metadata saying it's a valid pointer) from an integer (which doesn't, even if the 64 bits of 'value' are the same, and will fault if you attempt to use it as a pointer)...