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

Merged

tkoeppe merged 54 commits intomainfrom

motions-2025-11-lwg-2

Dec 14, 2025

Commits on Dec 14, 2025

LWG3343 Ordering of calls to unlock() and notify_all() in Effects element of notify_all_at_thread_exit() should be reversed

burblebee
authored and
tkoeppe
committed
LWG3454 pointer_traits::pointer_to should be constexpr

burblebee
authored and
tkoeppe
committed
LWG4015 LWG 3973 broke const overloads of std::optional monadic operations

burblebee
authored and
tkoeppe
committed
[optional.dtor] Fix double negative in wording added by LWG4015.

burblebee
authored and
tkoeppe
committed
[optional.swap] Fix singular->plural tense that was missed in LWG4015.

burblebee
authored and
tkoeppe
committed
LWG4230 simd<complex>::real/imag is overconstrained

burblebee
authored and
tkoeppe
committed
LWG4251 Move assignment for indirect unnecessarily requires copy construction

burblebee
authored and
tkoeppe
committed
LWG4260 Query objects must be default constructible

burblebee
authored and
tkoeppe
committed
LWG4272 For rank == 0, layout_stride is atypically convertible

burblebee
authored and
tkoeppe
committed
LWG4302 Problematic vector_sum_of_squares wording

burblebee
authored and
tkoeppe
committed
LWG4304 std::optional<NonReturnable&> is ill-formed due to value_or

burblebee
authored and
tkoeppe
committed
LWG4308 std::optional<T&>::iterator can't be a contiguous iterator for some T

burblebee
authored and
tkoeppe
committed
LWG4316 {can_}substitute specification is ill-formed

burblebee
authored and
tkoeppe
committed
LWG4358 [exec.as.awaitable] is using "Preconditions:" when it should probably be described in the constraint

burblebee
authored and
tkoeppe
committed
LWG4360 awaitable-sender concept should qualify use of awaitable-receiver type

burblebee
authored and
tkoeppe
committed
LWG4369 check-types function for upon_error and upon_stopped is wrong

burblebee
authored and
tkoeppe
committed
LWG4376 ABI tag in return type of [simd.mask.unary] is overconstrained

burblebee
authored and
tkoeppe
committed
LWG4383 constant_wrapper's pseudo-mutators are underconstrained

burblebee
authored and
tkoeppe
committed
LWG4388 Align new definition of va_start with C23

burblebee
authored and
tkoeppe
committed
LWG4396 Improve inplace_vector(from_range_t, R&& rg)

burblebee
authored and
tkoeppe
committed
LWG4420 [simd] conversions (constructor, load, stores, gather, and scatter) are incorrectly constrained for <stdfloat> types

burblebee
authored and
tkoeppe
committed
LWG4424 meta::define_aggregate should require a class type

burblebee
authored and
tkoeppe
committed
LWG4427 meta::dealias needs to work with things that aren't entities

burblebee
authored and
tkoeppe
committed
LWG4428 Metafunctions should not be defined in terms of constant subexpressions

burblebee
authored and
tkoeppe
committed
LWG4429 meta::alignment_of should exclude data member description of bit-field

burblebee
authored and
tkoeppe
committed
LWG4430 from_chars should not parse "0b" base prefixes

burblebee
authored and
tkoeppe
committed
LWG4431 Parallel std::ranges::destroy should allow exceptions

burblebee
authored and
tkoeppe
committed
LWG4432 Clarify element initialization for meta::reflect_constant_array

burblebee
authored and
tkoeppe
committed
LWG4433 Incorrect query for C language linkage

burblebee
authored and
tkoeppe
committed
LWG4434 meta::is_accessible does not need to consider incomplete D

burblebee
authored and
tkoeppe
committed
LWG4435 meta::has_identifier doesn't handle all types

burblebee
authored and
tkoeppe
committed
LWG4438 Bad expression in [exec.when.all]

burblebee
authored and
tkoeppe
committed
LWG4439 std::optional<T&>::swap possibly selects ADL-found swap

burblebee
authored and
tkoeppe
committed
LWG4440 Forward declarations of entities need also in entries

burblebee
authored and
tkoeppe
committed
LWG4441 ranges::rotate do not handle sized-but-not-sized-sentinel ranges correctly

burblebee
authored and
tkoeppe
committed
LWG4442 Clarify expr and fn for meta::reflect_object and meta::reflect_function

burblebee
authored and
tkoeppe
committed
LWG4443 Clean up identifier comparisons in meta::define_aggregate

burblebee
authored and
tkoeppe
committed
LWG4444 Fix default template arguments for ranges::replace and ranges::replace_if

burblebee
authored and
tkoeppe
committed
LWG4445 sch_ must not be in moved-from state

burblebee
authored and
tkoeppe
committed
LWG4446 Bad phrasing for SCHED(s)

burblebee
authored and
tkoeppe
committed
LWG4447 Remove unnecessary sizeof…(Env) > 1 condition

burblebee
authored and
tkoeppe
committed
LWG4448 Do not forward fn in completion_signatures

burblebee
authored and
tkoeppe
committed
LWG4449 define_aggregate members must be public

burblebee
authored and
tkoeppe
committed
LWG4450 std::atomic_ref<T>::store_key should be disabled for const T

burblebee
authored and
tkoeppe
committed
LWG4451 make_shared should not refer to a type U[N] for runtime N

burblebee
authored and
tkoeppe
committed
LWG4452 Make deref-move constexpr

burblebee
authored and
tkoeppe
committed
LWG4455 Add missing constraint to basic-sender::get_completion_signatures definition

burblebee
authored and
tkoeppe
committed
LWG4456 Decay Data and Child in make-sender

burblebee
authored and
tkoeppe
committed
LWG4459 Protect get_completion_signatures fold expression from overloaded commas

burblebee
authored and
tkoeppe
committed
LWG4461 stop-when needs to evaluate unstoppable tokens

burblebee
authored and
tkoeppe
committed
LWG4462 Algorithm requirements don't describe semantics of s - i well

burblebee
authored and
tkoeppe
committed
LWG4463 Change wording to 'model' from 'subsumes' in [algorithms.parallel.user]

burblebee
authored and
tkoeppe
committed
LWG4464 [alg.merge] Wording tweaks

burblebee
authored and
tkoeppe
committed
LWG4465 §[alg.partitions] Clarify Returns: element

burblebee
authored and
tkoeppe
committed