stopped_as_optional
tests constraints satisfaction of self instead of child
#311
Labels
stopped_as_optional
tests constraints satisfaction of self instead of child
#311
[exec.stopped.opt]/para 3 reads:
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
toEnv
so that only forwarding queries are forwarded.Proposed resolution
Change
single-sender-value-type<Sndr, Env>
tosingle-sender-value-type<child-type<Sndr>, FWD-ENV-T(Env)>
in [exec.stopped.opt] para 2 (twice!), whereFWD-ENV-T
is specified as in #313.The text was updated successfully, but these errors were encountered: