34 Execution control library [exec]

get_stop_token asks a queryable object for an associated stop token.

The name get_stop_token denotes a query object.

For a subexpression env, get_stop_token(env) is expression-equivalent to:

• (2.1)
  MANDATE-NOTHROW(as_const(env).query(get_stop_token)) if that expression is well-formed.
  Mandates: The type of the expression above satisfies stoppable_token.
• (2.2)
  Otherwise, never_stop_token{}.

forwarding_query(get_stop_token) is a core constant expression and has value true.