Simplify make_exception_ptr(): throw not needed as we don't have current_exception()