// { 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" |