A type X meets the ExecutionContext requirements if it is publicly and unambiguously derived from execution_context, and satisfies the additional requirements listed below.
In Table [tab:async.reqmts.executioncontext.requirements], x denotes a value of type X.
| expression | return type | assertion/note pre/post-condition |
| X::executor_type | type meeting Executor ([async.reqmts.executor]) requirements | |
| x.~X() | Destroys all unexecuted function objects that were submitted via an executor object that is associated with the execution context. | |
| x.get_executor() | X::executor_type | Returns an executor object that is associated with the execution context. |