https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121128

--- Comment #2 from Tomasz KamiƄski <tkaminsk at gcc dot gnu.org> ---
> Note that _M_objp's type i.e. _ATraits::pointer may not be a raw pointer 
> type, so the value category should be propagated.

Allocator requirements imply that _ATraits::pointer, needs to produce
equivalent-behavior for derefererencing (const and non-const):
https://eel.is/c++draft/allocator.requirements#general-22.

Reply via email to