https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120460 --- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- That's Bug 43167, which is separate from whether [[nodiscard]] should be affected by system headers.