tmp/tmpnra4250f/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
### `forwarding_query` <a id="exec.fwd.env">[[exec.fwd.env]]</a>
|
| 2 |
+
|
| 3 |
+
`forwarding_query` asks a query object whether it should be forwarded
|
| 4 |
+
through queryable adaptors.
|
| 5 |
+
|
| 6 |
+
The name `forwarding_query` denotes a query object. For some query
|
| 7 |
+
object `q` of type `Q`, `forwarding_query(q)` is expression-equivalent
|
| 8 |
+
to:
|
| 9 |
+
|
| 10 |
+
- `MANDATE-NOTHROW(q.query(forwarding_query))` if that expression is
|
| 11 |
+
well-formed. *Mandates:* The expression above has type `bool` and is a
|
| 12 |
+
core constant expression if `q` is a core constant expression.
|
| 13 |
+
- Otherwise, `true` if `derived_from<Q, forwarding_query_t>` is `true`.
|
| 14 |
+
- Otherwise, `false`.
|
| 15 |
+
|