13 Asynchronous model [async]

13.2 Requirements [async.reqmts]

13.2.7 Requirements on asynchronous operations [async.reqmts.async]

13.2.7.3 Deduction of initiating function return type [async.reqmts.async.return.type]

1

The return type of an initiating function is typename async_result<decay_t<CompletionToken>, Signature>::return_type.

2

For the sake of exposition, this document sometimes annotates functions with a return type DEDUCED. For every function declaration that returns DEDUCED, the meaning is equivalent to specifying the return type as typename async_result<decay_t<CompletionToken>, Signature>::return_type.