#
forwarding_
query
asks a query object whether it should be forwarded through queryable adaptors
.
2
#
The name
forwarding_
query
denotes a query object
.
For some query object
q
of type
Q
,
forwarding_
query
(
q
)
is expression-equivalent to:
(2.1)
MANDATE-NOTHROW
(
q
.
query
(
forwarding_
query
)
)
if that expression is well-formed
.
Mandates
: The expression above has type
bool
and is a core constant expression if
q
is a core constant expression
.
(2.2)
Otherwise,
true
if
derived_
from
<
Q, forwarding_
query_
t
>
is
true
.
(2.3)
Otherwise,
false
.