Skip to content

Commit 6f3dec2

Browse files
committed
LWG4360 awaitable-sender concept should qualify use of awaitable-receiver type
1 parent f9d8489 commit 6f3dec2

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

source/exec.tex

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6616,7 +6616,8 @@
66166616
template<class Sndr, class Promise>
66176617
concept @\defexposconcept{awaitable-sender}@ =
66186618
@\exposconcept{single-sender}@<Sndr, env_of_t<Promise>> &&
6619-
@\libconcept{sender_to}@<Sndr, @\exposid{awaitable-receiver}@> && // \seebelow
6619+
@\libconcept{sender_to}@<Sndr,
6620+
typename @\exposid{sender-awaitable}@<Sndr, Promise>::@\exposid{awaitable-receiver}@> && // \seebelow
66206621
requires (Promise& p) {
66216622
{ p.unhandled_stopped() } -> @\libconcept{convertible_to}@<coroutine_handle<>>;
66226623
};

0 commit comments

Comments
 (0)