Skip to content

[2026-03 LWG Motion 11] P3986R1 A Wording Strategy for Inlinable Receivers#8915

Open
jensmaurer wants to merge 2 commits intomainfrom
motions-2026-03-lwg-11
Open

[2026-03 LWG Motion 11] P3986R1 A Wording Strategy for Inlinable Receivers#8915
jensmaurer wants to merge 2 commits intomainfrom
motions-2026-03-lwg-11

Conversation

@jensmaurer
Copy link
Copy Markdown
Member

@jensmaurer jensmaurer commented Apr 3, 2026

Fixes NB CA-318 (C++26 CD).

Fixes #8845

Also fixes cplusplus/papers#2688
Also fixes cplusplus/nbballot#893

@jensmaurer jensmaurer added this to the post-2026-03 milestone Apr 3, 2026
@eisenwave
Copy link
Copy Markdown
Member

Missing Fixes CA-318 33 (C++26 CD).

Copy link
Copy Markdown
Member

@eisenwave eisenwave left a comment

Choose a reason for hiding this comment

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

I'm surprised that check-output.sh doesn't already catch the missing \libconcepts here.

source/exec.tex Outdated
if the lifetimes of all objects transitively constructed from
\tcode{rcvr} during the evaluation of $E$
end within the evaluation of $E$.

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.

Should there really be an empty line here if the note is attached to the previous paragraph?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Removed empty line.

source/exec.tex Outdated
\pnum
Let \tcode{StdRcvr} be a receiver type defined by this document.
Given some operation state type \tcode{Op},
it is unspecified whether \tcode{StdRcvr} models \tcode{inlinable_receiver<Op>}.
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
it is unspecified whether \tcode{StdRcvr} models \tcode{inlinable_receiver<Op>}.
it is unspecified whether \tcode{StdRcvr} models \tcode{\libconcept{inlinable_receiver}<Op>}.

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Fixed.

source/exec.tex Outdated
Let \tcode{StdOp} be some operation state type defined by this document and
let \tcode{Sndr} and \tcode{Rcvr} be types such that
\tcode{is_same_v<connect_result_t<Sndr, Rcvr>, StdOp>} is \tcode{true}.
If \tcode{Rcvr} models \tcode{inlinable_receiver<StdOp>}
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
If \tcode{Rcvr} models \tcode{inlinable_receiver<StdOp>}
If \tcode{Rcvr} models \tcode{\libconcept{inlinable_receiver}<StdOp>}

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Fixed.

@jensmaurer jensmaurer force-pushed the motions-2026-03-lwg-11 branch from 55544ae to 125d697 Compare April 7, 2026 11:43
@jensmaurer
Copy link
Copy Markdown
Member Author

Fixes CA-318 33 (C++26 CD).

Fixed commit description; "33" is the clause name.

@jensmaurer jensmaurer force-pushed the motions-2026-03-lwg-11 branch from 125d697 to 83c55ba Compare April 7, 2026 11:44
@jensmaurer jensmaurer requested a review from eisenwave April 7, 2026 11:46
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.

P3986 R0 A Wording Strategy for Inlinable Receivers [2026-03 LWG Motion 11] P3986R1 A Wording Strategy for Inlinable Receivers

2 participants