Skip to content

Commit e1fb4d3

Browse files
eisenwavetkoeppe
authored andcommitted
P3914R0: Re NB US 228-348 (C++26 CD)
Fixes NB US 228-348 (C++26 CD).
1 parent 90d31b4 commit e1fb4d3

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

source/exec.tex

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5339,8 +5339,10 @@
53395339

53405340
\pnum
53415341
Let \tcode{\placeholder{ssource-t}} be an unspecified type
5342-
that models \exposconcept{stoppable-source} and
5343-
let \tcode{ssource} be an lvalue of type \tcode{\placeholder{ssource-t}}.
5342+
that models \exposconcept{stoppable-source} and \libconcept{default_initializable},
5343+
such that a default-initialized object of type \tcode{\placeholder{ssource-t}}
5344+
has an associated stop state.
5345+
Let \tcode{ssource} be an lvalue of type \tcode{\placeholder{ssource-t}}.
53445346
Let \tcode{\placeholder{stoken-t}} be \tcode{decltype(ssource.get_token())}.
53455347
Let \exposid{future-spawned-sender} be the alias template:
53465348

0 commit comments

Comments
 (0)