// { dg-additional-options -fmodule-header }
// { dg-module-cmi {} }
// We end up with instantiated noexcept specs in the CMI data matching
// textually loaded fns with uninstantiated ones.  Have to propagate,
// not reinstantiate.
#include "except-3.h"