Post LWG: add conditional noexcept