CWG 2022-11-11

Unify the treatment of all subobjects by saying the pointer past-the-end has address address(begin) + sizeof(T).