https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113841
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- IIRC the reason we don't just default that constructor is because we need to be sure to value-initialize the allocator, not just default-initialize it.
