void swap(executor& other) noexcept;
Effects: Interchanges the targets of *this and other.
template<class Executor, class ProtoAllocator>
void assign(Executor e, const ProtoAllocator& a);
Effects: executor(allocator_arg, a, std::move(e)).swap(*this).