tmp/tmp64qyxu4_/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
### `execution::get_env` <a id="exec.get.env">[[exec.get.env]]</a>
|
| 2 |
+
|
| 3 |
+
`execution::get_env` is a customization point object. For a
|
| 4 |
+
subexpression `o`, `execution::get_env(o)` is expression-equivalent to:
|
| 5 |
+
|
| 6 |
+
- `MANDATE-NOTHROW(AS-CONST(o).get_env())` if that expression is
|
| 7 |
+
well-formed. *Mandates:* The type of the expression above satisfies
|
| 8 |
+
`queryable` [[exec.queryable]].
|
| 9 |
+
- Otherwise, `env<>{}`.
|
| 10 |
+
|
| 11 |
+
The value of `get_env(o)` shall be valid while `o` is valid.
|
| 12 |
+
|
| 13 |
+
[*Note 1*: When passed a sender object, `get_env` returns the sender’s
|
| 14 |
+
associated attributes. When passed a receiver, `get_env` returns the
|
| 15 |
+
receiver’s associated execution environment. — *end note*]
|
| 16 |
+
|