[Motions 2026 03 lwg 2] P4146R0 C++ Standard Library Immediate Issues#8935

Merged

tkoeppe merged 37 commits intomainfrom

motions-2026-03-lwg-2

Apr 18, 2026

Commits on Apr 12, 2026

Commits on Apr 14, 2026

LWG4026 Assignment operators of std::expected should propagate triviality

burblebee
authored and
tkoeppe
committed
LWG4122 Ill-formed operator<=> can cause hard error when instantiating std::inplace_vector

burblebee
authored and
tkoeppe
committed
LWG4133 awaitable-receiver's members are potentially throwing

burblebee
authored and
tkoeppe
committed
LWG4143 execution::set_value/set_error/set_stopped/start should always return void

burblebee
authored and
tkoeppe
committed
LWG4151 Precondition of inplace_vector::swap

burblebee
authored and
tkoeppe
committed
LWG4223 Deduction guides for maps are mishandling tuples and references

burblebee
authored and
tkoeppe
committed
LWG4314 Missing move in mdspan layout mapping::operator()

burblebee
authored and
tkoeppe
committed
LWG4325 std::indirect's operator== still does not support incomplete types

burblebee
authored and
tkoeppe
committed
LWG4339 task's coroutine frame may be released late

burblebee
authored and
tkoeppe
committed

Commits on Apr 18, 2026

LWG4347 task's stop source is always created

burblebee
authored and
tkoeppe
committed
LWG4354 Reconsider weakly_parallel as the default forward_progress_guarantee

burblebee
authored and
tkoeppe
committed
LWG4361 awaitable-receiver::set_value should use Mandates instead of constraints

burblebee
authored and
tkoeppe
committed
LWG4379 hive::reserve() needs Throws: element adjusted to match block min/max considerations

burblebee
authored and
tkoeppe
committed
LWG4476 run_loop should not have a set_error completion

burblebee
authored and
tkoeppe
committed
LWG4478 meta::has_identifier is not specified for annotations

burblebee
authored and
tkoeppe
committed
LWG4485 Move specification for task::stop_token_type

burblebee
authored and
tkoeppe
committed
LWG4497 std::nullopt_t should be comparable

burblebee
authored and
tkoeppe
committed
LWG4504 Wording problem in {simple_}counting_scope

burblebee
authored and
tkoeppe
committed
LWG4506 source_location is explicitly unspecified if is constexpr or not

burblebee
authored and
tkoeppe
committed
LWG4532 Imprecise std::polymorphic wording seems to imply slicing

burblebee
authored and
tkoeppe
committed
LWG4533 not_fn<f> is unimplementable

burblebee
authored and
tkoeppe
committed
LWG4537 Improve define_static_array

burblebee
authored and
tkoeppe
committed
LWG4540 future-senders returned from spawn_future do not forward stop requests to spawned work

burblebee
authored and
tkoeppe
committed
LWG4544 Parallel overload of ranges::set_difference should return in_in_out_result

burblebee
authored and
tkoeppe
committed
LWG4548 Parallel ranges::set_intersection should not do unnecessary work

burblebee
authored and
tkoeppe
committed
LWG4549 vprint_nonunicode_buffered ignores its stream parameter

burblebee
authored and
tkoeppe
committed
LWG4550 Need new feature test macros for <stdckdint.h> and <stdbit.h>

burblebee
authored and
tkoeppe
committed
LWG4552 compare_exchange_weak writes a value on spurious failure, not memory contents

burblebee
authored and
tkoeppe
committed
LWG4553 Wording for FR-025-246 25.7.18.2 Add a reserve_hint function to concat_view

burblebee
authored and
tkoeppe
committed
LWG4554 Remove undefined behaviour from hive for invalid limits

burblebee
authored and
tkoeppe
committed
LWG4555 Remove is_consteval_only

burblebee
authored and
tkoeppe
committed
LWG4556 Unclear properties of reflection strings

burblebee
authored and
tkoeppe
committed
LWG4557 Remove constexpr from owner_less and owner_before

burblebee
authored and
tkoeppe
committed