[ 2025-02-07; Reflector poll: NAD ]

The `fetch_OP` members have "Mandates: `T` is a complete object type." and a note explaining that this means arithmetic on `void*` is ill-formed. So implementations are expected to use the partial specialization for `void*` but to reject attempts at arithmetic. They all do this correctly today.