Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/cplusplus/sender-receiver/issues/311 below:

`stopped_as_optional` tests constraints satisfaction of self instead of child · Issue #311 · cplusplus/sender-receiver · GitHub

[exec.stopped.opt]/para 3 reads:

1. Let sndr and env be subexpressions such that Sndr is decltype((sndr)) and Env is decltype((env)). If sender-for<Sndr, stopped_as_optional_t> is false, or if the type single-sender-value-type<Sndr, Env> is ill-formed or void, then the expression stopped_as_optional.transform_sender(sndr, env) is ill-formed; otherwise, it is equivalent to:

the test for single-sender-value-type<Sndr, Env> is incorrect. it should be testing its child for single-sender-ness.

In addition, it should be applying FWD-ENV-T to Env so that only forwarding queries are forwarded.

Change single-sender-value-type<Sndr, Env> to single-sender-value-type<child-type<Sndr>, FWD-ENV-T(Env)> in [exec.stopped.opt] para 2 (twice!), where FWD-ENV-T is specified as in #313.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4