https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109305
Bug ID: 109305
Summary: Allocator copy in basic_string::operator=
Product: gcc
Version: 12.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: libs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109305
--- Comment #4 from Marc-André Laverdière ---
The comment is "If this allocation throws there are no effects:" and I didn't
understand the implications. Thanks for you spelled it out the logic behind it.
May I encourage you to update the comment
