#
get_
delegation_
scheduler
asks a queryable object for a scheduler that can be used to delegate work to for the purpose of forward progress delegation (
[intro.
progress]
)
.
2
#
The name
get_
delegation_
scheduler
denotes a query object
.
For a subexpression
env
,
get_
delegation_
scheduler
(
env
)
is expression-equivalent to
MANDATE-NOTHROW
(
AS-CONST
(
env
)
.
query
(
get_
delegation_
scheduler
)
)
.
Mandates
: If the expression above is well-formed, its type satisfies
scheduler
.
3
#
forwarding_
query
(
execution
::
get_
delegation_
scheduler
)
is a core constant expression and has value
true
.