33 Execution control library [exec]

get_domain asks a queryable object for its associated execution domain tag.

The name get_domain denotes a query object.

For a subexpression env, get_domain(env) is expression-equivalent to MANDATE-NOTHROW(D()), where D is the type of the first of the following expressions that is well-formed:

• (2.1)
  auto(AS-CONST(env).query(get_domain)).
• (2.2)
  get_completion_domain<set_value_t>(get_scheduler(env), HIDE-SCHED(env)).
• (2.3)
  default_domain(), except that env is evaluated.

forwarding_query(execution​::​get_domain) is a core constant expression and has value true.