[Bug libstdc++/114940] std::generator relies on an optional overload of operator delete

[redi at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
P.S. what's optional is whether the compiler chooses to use that overload or
not. But its presence is required for conformance.