Move constructor.
execution_state( execution_state&& other);
execution_state
No-throw guarantee.
Views obtained from other remain valid.
other