Skip to content

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

Merged
tkoeppe merged 2 commits intomainfrom
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 intomainfrom
motions-2026-03-lwg-37

Conversation

@tkoeppe
Copy link
Copy Markdown
Contributor

@tkoeppe tkoeppe commented Apr 20, 2026

Fixes #8871.

@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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[2026-03 LWG Motion 37] P4159R0 Make sender_in and receiver_of exposition-only

3 participants