https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114764
--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> --- The former: I'd have to introduce checking that tracks all the declarations and checks that their noexcept-specs match after delayed parsing has taken place. It's not impossible but I didn't (and still don't) think that it's something worth doing. Sorry.