Skip to content

LWG Motion 37: P4159R0 Make sender_in and receiver_of exposition-only#8958

Merged
tkoeppe merged 2 commits into
mainfrom
motions-2026-03-lwg-37
Apr 20, 2026
Merged

LWG Motion 37: P4159R0 Make sender_in and receiver_of exposition-only#8958
tkoeppe merged 2 commits into
mainfrom
motions-2026-03-lwg-37

Conversation

@tkoeppe

@tkoeppe tkoeppe commented Apr 20, 2026

Copy link
Copy Markdown
Contributor

@tkoeppe tkoeppe requested review from RobertLeahy and jwakely April 20, 2026 15:15
@tkoeppe tkoeppe changed the title Merge LWG Motions 37: P4159R0 Make sender_in and receiver_of exposition-only Merge LWG Motion 37: P4159R0 Make sender_in and receiver_of exposition-only Apr 20, 2026
@tkoeppe tkoeppe changed the title Merge LWG Motion 37: P4159R0 Make sender_in and receiver_of exposition-only LWG Motion 37: P4159R0 Make sender_in and receiver_of exposition-only Apr 20, 2026
Comment thread source/exec.tex

template<class Sndr, class... Env>
concept @\exposconcept{single-sender}@ = @\seebelow@; // \expos
concept @\exposconceptnc{single-sender}@ = @\seebelownc@; // \expos

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a drive by?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just whitespace, yes. The comment wasn't aligned properly.

Comment thread source/exec.tex
\pnum
Given subexpressions \tcode{sndr} and \tcode{rcvr}
such that \tcode{sender_to<decltype((sndr)), decltype((rcvr))>} is \tcode{true}
such that \tcode{\exposid{sender-to}<decltype((sndr)), decltype((rcvr))>} is \tcode{true}

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
such that \tcode{\exposid{sender-to}<decltype((sndr)), decltype((rcvr))>} is \tcode{true}
such that \tcode{\exposconcept{sender-to}<decltype((sndr)), decltype((rcvr))>} is \tcode{true}

@tkoeppe tkoeppe merged commit 2007246 into main Apr 20, 2026
4 checks passed
@jensmaurer jensmaurer added this to the post-2026-03 milestone Apr 21, 2026
@jensmaurer jensmaurer deleted the motions-2026-03-lwg-37 branch June 13, 2026 19:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

4 participants