https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86127
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- The allocator requirements say that move construction must be equivalent to copy construction, and allocators should be cheap to copy anyway. I don't consider this a bug.
