Skip to content

[Motions 2025 11 lwg 2] C++ Standard Library Immediate Issues #8580

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
burblebee wants to merge 58 commits into
base: main
Choose a base branch
from
Open

[Motions 2025 11 lwg 2] C++ Standard Library Immediate Issues #8580

Changes from 1 commit
Commits
Show all changes
58 commits
Select commit Hold shift + click to select a range
bf575fb
LWG3343 Ordering of calls to unlock() and notify_all() in Effects ele…
burblebee Nov 15, 2025
97383b5
LWG3454 pointer_traits::pointer_to should be constexpr
burblebee Nov 15, 2025
2ea2ab9
LWG4015 LWG 3973 broke const overloads of std::optional monadic opera…
burblebee Dec 2, 2025
acfeaba
LWG4230 simd<complex>::real/imag is overconstrained
burblebee Dec 3, 2025
c7e67b6
LWG4251 Move assignment for indirect unnecessarily requires copy cons…
burblebee Dec 3, 2025
b92f18b
LWG4260 Query objects must be default constructible
burblebee Dec 3, 2025
655765a
LWG4272 For rank == 0, layout_stride is atypically convertible
burblebee Dec 3, 2025
01bff15
LWG4302 Problematic vector_sum_of_squares wording
burblebee Dec 3, 2025
c0c704b
LWG4304 std::optional<NonReturnable&> is ill-formed due to value_or
burblebee Dec 3, 2025
990f680
LWG4308 std::optional<T&>::iterator can't be a contiguous iterator fo…
burblebee Dec 3, 2025
3dcd790
LWG4316 {can_}substitute specification is ill-formed
burblebee Dec 3, 2025
03c5d17
LWG4358 [exec.as.awaitable] is using "Preconditions:" when it should …
burblebee Dec 3, 2025
5deca0b
LWG4360 awaitable-sender concept should qualify use of awaitable-rece…
burblebee Dec 3, 2025
337988d
LWG4369 check-types function for upon_error and upon_stopped is wrong
burblebee Dec 3, 2025
25c0671
LWG4376 ABI tag in return type of [simd.mask.unary] is overconstrained
burblebee Dec 3, 2025
65b4fcd
LWG4383 constant_wrapper's pseudo-mutators are underconstrained
burblebee Dec 3, 2025
8bb3a00
LWG4388 Align new definition of va_start with C23
burblebee Dec 3, 2025
09251f3
LWG4396 Improve inplace_vector(from_range_t, R&& rg)
burblebee Dec 3, 2025
df419aa
LWG4420 [simd] conversions (constructor, load, stores, gather, and sc…
burblebee Dec 3, 2025
f3a2fd9
LWG4424 meta::define_aggregate should require a class type
burblebee Dec 3, 2025
872fa85
LWG4427 meta::dealias needs to work with things that aren't entities
burblebee Dec 3, 2025
599380f
LWG4428 Metafunctions should not be defined in terms of constant sube…
burblebee Dec 3, 2025
60b2a5c
LWG4429 meta::alignment_of should exclude data member description of …
burblebee Dec 3, 2025
b34d02f
LWG4430 from_chars should not parse "0b" base prefixes
burblebee Dec 3, 2025
4d568a4
LWG4431 Parallel std::ranges::destroy should allow exceptions
burblebee Dec 3, 2025
82ddaa6
LWG4432 Clarify element initialization for meta::reflect_constant_array
burblebee Dec 3, 2025
1c1c5a3
LWG4433 Incorrect query for C language linkage
burblebee Dec 3, 2025
8c042ff
LWG4434 meta::is_accessible does not need to consider incomplete D
burblebee Dec 3, 2025
3a24446
LWG4435 meta::has_identifier doesn't handle all types
burblebee Dec 3, 2025
bb98d62
LWG4438 Bad expression in [exec.when.all]
burblebee Dec 3, 2025
2b5e9bf
LWG4439 std::optional<T&>::swap possibly selects ADL-found swap
burblebee Dec 3, 2025
e192323
LWG4440 Forward declarations of entities need also in entries
burblebee Dec 4, 2025
d862d34
LWG4441 ranges::rotate do not handle sized-but-not-sized-sentinel ran…
burblebee Dec 4, 2025
7e73d41
LWG4442 Clarify expr and fn for meta::reflect_object and meta::reflec…
burblebee Dec 4, 2025
4fdadc2
LWG4443 Clean up identifier comparisons in meta::define_aggregate
burblebee Dec 4, 2025
56e426e
FIXUP LWG4429: Change \perp to \bot in case that was the intent (was …
burblebee Dec 4, 2025
4c4c8d2
LWG4444 Fix default template arguments for ranges::replace and ranges…
burblebee Dec 4, 2025
a32b8bf
LWG4445 sch_ must not be in moved-from state
burblebee Dec 4, 2025
3daccf9
LWG4446 Bad phrasing for SCHED(s)
burblebee Dec 4, 2025
ceea8a4
LWG4447 Remove unnecessary sizeof…(Env) > 1 condition
burblebee Dec 4, 2025
96853a0
LWG4448 Do not forward fn in completion_signatures
burblebee Dec 4, 2025
d44f492
LWG4449 define_aggregate members must be public
burblebee Dec 4, 2025
5dadda7
LWG4450 std::atomic_ref<T>::store_key should be disabled for const T
burblebee Dec 4, 2025
ce23d66
LWG4451 make_shared should not refer to a type U[N] for runtime N
burblebee Dec 4, 2025
ea71fdd
LWG4452 Make deref-move constexpr
burblebee Dec 4, 2025
566dbda
LWG4455 Add missing constraint to basic-sender::get_completion_signat…
burblebee Dec 4, 2025
e274317
LWG4456 Decay Data and Child in make-sender
burblebee Dec 4, 2025
aaa993f
LWG4459 Protect get_completion_signatures fold expression from overlo…
burblebee Dec 4, 2025
5289650
LWG4461 stop-when needs to evaluate unstoppable tokens
burblebee Dec 4, 2025
87d89ef
LWG4462 Algorithm requirements don't describe semantics of s - i well
burblebee Dec 4, 2025
578c73f
LWG4463 Change wording to 'model' from 'subsumes' in [algorithms.para…
burblebee Dec 4, 2025
e353581
LWG4464 [alg.merge] Wording tweaks
burblebee Dec 4, 2025
bd0df64
LWG4465 §[alg.partitions] Clarify Returns: element
burblebee Dec 4, 2025
537b284
FIXUP LWG3343: Keep "sequenced after" on same line (as per review req…
burblebee Dec 4, 2025
033f7e5
[optional.dtor] Fix double negative in wording added by LWG4015.
burblebee Dec 4, 2025
d892ebc
[optional.swap] Fix singular->plural tense that was missed in LWG4015.
burblebee Dec 4, 2025
997c5d0
FIXUP LWG4015: Break lines after comma as suggested in review.
burblebee Dec 4, 2025
4d67aae
FIXUP LWG4451: "known" -> "unknown"
burblebee Dec 4, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion source/meta.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5903,7 +5903,7 @@
direct base class relationship, or
data member description
$(T, N, A, W, \mathit{NUA})$\iref{class.mem.general}
where $W$ is $\perp$.
where $W$ is $\bot$.
\item
If \tcode{dealias(r)} represents a type,
then \tcode{is_complete_type(r)} is \tcode{true}.
Expand Down