Skip to content

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

Open
burblebee wants to merge 37 commits intomainfrom
motions-2026-03-lwg-2
Open

[Motions 2026 03 lwg 2] P4146R0 C++ Standard Library Immediate Issues#8935
burblebee wants to merge 37 commits intomainfrom
motions-2026-03-lwg-2

Conversation

@burblebee
Copy link
Copy Markdown
Contributor

@burblebee burblebee commented Apr 9, 2026

Fixes #8836.

burblebee added 30 commits April 8, 2026 01:22
@burblebee
LW3662 basic_string::append/assign(NTBS, pos, n) suboptimal
9172c32 
Fixes NB RU-268 (C++26 CD).
@burblebee
LWG3777 Common cartesian_product_view produces an invalid range if th…
3a90622 
…e first range is input and one of the ranges is empty
@burblebee
LWG3797 elements_view insufficiently constrained
3d3943a
@burblebee
LWG3891 LWG 3870 breaks std::expected<cv T, E>
b545086
@burblebee
LWG4026 Assignment operators of std::expected should propagate trivia…
fc3fb30 
…lity

Fixes NB US 135-216, US 136-217 (C++26 CD).
@burblebee
LWG4122 Ill-formed operator<=> can cause hard error when instantiatin…
32181ee 
…g std::inplace_vector
@burblebee
LWG4133 awaitable-receiver's members are potentially throwing
0fd9720
@burblebee
LWG4143 execution::set_value/set_error/set_stopped/start should alway…
193a5d6 
…s return void
@burblebee
LWG4151 Precondition of inplace_vector::swap
f086af0
@burblebee
LWG4223 Deduction guides for maps are mishandling tuples and references
a86492f
@burblebee
LWG4314 Missing move in mdspan layout mapping::operator()
b429224
@burblebee
LWG4325 std::indirect's operator== still does not support incomplete …
605c4ef 
…types
@burblebee
LWG4339 task's coroutine frame may be released late
04885da 
Fixes NB US 242-372 (C++26 CD).
@burblebee
LWG4347 task's stop source is always created
783f4ff 
Fixes NB US 257-382 (C++26 CD).

[task.state]p5 Didn't insert a new paragraph (text belongs with the \effects clause).
@burblebee
LWG4354 Reconsider weakly_parallel as the default forward_progress_gu…
adb1031 
…arantee
@burblebee
LWG4361 awaitable-receiver::set_value should use Mandates instead of …
bd34ab5 
…constraints
@burblebee
LWG4379 hive::reserve() needs Throws: element adjusted to match block…
03ccc5c 
… min/max considerations

Fixes NB US 142-236 (C++26 CD).
@burblebee
LWG4476 run_loop should not have a set_error completion
e176cd3
@burblebee
LWG4478 meta::has_identifier is not specified for annotations
93553be
@burblebee
LWG4485 Move specification for task::stop_token_type
31ce213 
Fixes NB US 249-379 (C++26 CD).
@burblebee
LWG4497 std::nullopt_t should be comparable
d0df0e7
@burblebee
LWG4504 Wording problem in {simple_}counting_scope
3e98866
@burblebee
LWG4506 source_location is explicitly unspecified if is constexpr or not
bf03c17
@burblebee
LWG4532 Imprecise std::polymorphic wording seems to imply slicing
1018298
@burblebee
LWG4533 not_fn<f> is unimplementable
9fe1ada
@burblebee
LWG4537 Improve define_static_array
9794ce7
@burblebee
LWG4540 future-senders returned from spawn_future do not forward stop…
8a29337 
… requests to spawned work

[exec.spawn.future] "receiver" in struct "future-operation" renamed to "receiverx"
due to concept of same name.
@burblebee
LWG4544 Parallel overload of ranges::set_difference should return in_…
3972fff 
…in_out_result
@burblebee
LWG4548 Parallel ranges::set_intersection should not do unnecessary work
d198c17 
[set.intersection] Turned "skipped" into an indexed definition to match
that of LWG4544.
@burblebee
LWG4549 vprint_nonunicode_buffered ignores its stream parameter
661cf1e
@burblebee burblebee marked this pull request as ready for review April 9, 2026 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

[2026-03 LWG Motion 2] P4146R0 C++ Standard Library Immediate Issues

1 participant

@burblebee