https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95772
--- Comment #2 from Marc Pawlowsky <marcpawl at gmail dot com> --- I understand that it is deleted, but if somebody says it should be defaulted when it is defaulted that is most likely an error, and it would be nice if a warning were generated.
