13 Asynchronous model [async]

13.7 Class execution_context [async.exec.ctx]

13.7.2 execution_context destructor [async.exec.ctx.dtor]

~execution_context();

Effects: Destroys an object of class execution_context. Performs shutdown() followed by destroy().