Type-erased thin pointers for Rust.