[pjmlp]

Well, in 50 years they have hardly bothered to add any kind of fat pointer as suggested by Dennis Ritchie, Walter Bright and others, struct based vocabulary types for string and arrays, annotations like SAL.

Hence why I hardly believe pointer provenance is going to be any different.

[tialaramex]

Last I looked WG14 intended to knock together a TS for provenance in the C23 timeframe (so, this year). Of course a TS might go nowhere, vendors could ignore it, it might be a dead end, but I don't believe WG14 produced a TS of sane array types, or fat pointers.