Provenance is a serious problem for a language which has pointers and optimisation. It's interesting to me that serious people propose "bag of bits" semantics

Provenance is a serious problem for a language which has pointers and optimisation. It's interesting to me that serious people propose "bag of bits" semantics (basically "What is provenance, lets just say pointers are raw addresses") for C++ which seems like a terrible idea and I can't tell whether they really mean that. P2414R3: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2414r3.pdf https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p24...