executor_type(const executor_type& other) noexcept;
Postconditions: *this == other.
executor_type(executor_type&& other) noexcept;
Postconditions: *this is equal to the prior value of other.