inline exception_ptr current_exception_unknown_std_exception( std::exception const & e ) { if( boost::exception const * be = dynamic_cast<boost::exception const *>(&e) ) return exception_ptr(exception_detail::make_clone(unknown_exception(*be))); else return current_exception_unknown_exception(); }
inline shared_ptr<clone_base const> current_exception_unknown_std_exception( std::exception const & e ) { if( boost::exception const * be = get_boost_exception(&e) ) return current_exception_unknown_boost_exception(*be); else return current_exception_unknown_exception(); }