Implementations can provide bitmasks to specify restrictions on task
interaction by functions launched by async()
applicable to a
corresponding subset of available launch policies.
Implementations can extend
the behavior of the first overload of async()
by adding their extensions
to the launch policy under the “as if” rule.