error_code make_error_code (future_errc e) noexcept;
error_code(static_cast<int>(e),future_category());