bemanproject / execution / 29365348260

94%

push

github

`within` algorithm from P3955 (#288)

* `within` algorithm from P3955

Also add additional concepts from the paper:
- `enter_scope_sender`
- `enter_scope_sender_in`
- `exit_scope_sender`
- `exit_scope_sender_in`
- `exit_scope_sender_of_t`

Add utilities:
- `completion_storage` -- allows storing the completions of an async
operation to be used later.
- `elide` -- helper to elide move ctor; useful for constructing
operation states

* CI fixes

- apply clang format
- remove global qualification of class name
- remove recursive include in `exit_scope_sender_in.hpp`

* Update modules

Fix issue when checking nothrow by connecting to the wrong receiver.

* Fix missing include to `env`

* Add missing `sender_in` include

* Fix missing includes

* Fix assert usage in within

* Include `<cassert>` before `import std`

* Receiver and test fixes

- Storing a cvref-removed receiver in `within` state object
- Initialize the receiver before the operation state -- this caused UB
- add appropriate headers in `exec-within.test.cpp`
- remove unused variables from test

* Add tests for completion_storage

* Fix missing import in new test.

* Apply suggestions from code review (part 1)

* Apply another suggestion from code review + clang-format

92 of 96 new or added lines in 3 files covered. (95.83%)

1406 of 1498 relevant lines covered (93.86%)

252.74 hits per line