13 Asynchronous model [async]

13.21 Class executor [async.executor]

13.21.3 executor destructor [async.executor.dtor]

~executor();

1

Effects: If *this != nullptr, releases shared ownership of, or destroys, the target of *this.