Pointer Provenance in Rust vs. C++: Pointers Are Not Just Glorified Ints

Ralf Jung's series (one of the prominent developers behind Rust's memory model and author of RustBelt) about pointers is very recommended:

https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html

https://www.ralfj.de/blog/2020/12/14/provenance.html

https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html

As far as I know, provenance is still a mess both on LLVM and GCC.

Does C++ pointer arithmetic invalidate this post or is there some other magic there?