[boost] [exception] Proposal: noexcept intrusive successor needed