Move assignment.
execution_state& operator=( execution_state&& other);
execution_state
No-throw guarantee.
Views obtained from *this are invalidated. Views obtained from other remain valid.
*this
other