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.