14 Jun
2017
14 Jun
'17
6:31 a.m.
On Tue, Jun 13, 2017 at 5:29 PM, Emil Dotchevski
if( auto tr=try_(....) ) { //ok good, do work then return a "good" value } else { log(BOOST_DIAGNOSTIC_INFORMATION(*tr.catch_<>())); return throw_(); }
Except it won't work, you've uncovered an omission in the Noexcept API. The problem is that catch_<> will flag the error as handled, and in this case you don't want that.
This is now fixed: even if you handle an error with catch_<>(), throw_() will "unhandle" it.