@Gankra For anyone wondering why I am excited by this:

This is exactly how we lower intptr_t to LLVM IR in CHERI C/C++. Unlike the C/C++ version, the Rust surface-level syntax is unambiguous and clear. This should make writing CHERI-compatible unsafe Rust much cleaner (safe Rust is trivial to lower to CHERI already).