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 burblebee marked this pull request as ready for review April 9, 2026 14:26
@eisenwave eisenwave added this to the post-2026-03 milestone Apr 12, 2026
@tkoeppe tkoeppe force-pushed the motions-2026-03-lwg-2 branch from 29c2e35 to ed9db42 Compare April 12, 2026 20:19
burblebee added 27 commits April 12, 2026 21:19
@burblebee @tkoeppe
LWG3662 basic_string::append/assign(NTBS, pos, n) suboptimal
9d7581a 
Fixes NB RU 268 (C++26 CD).
@burblebee @tkoeppe
LWG3777 Common cartesian_product_view produces an invalid range if th…
581d0cb 
…e first range is input and one of the ranges is empty
@burblebee @tkoeppe
LWG3797 elements_view insufficiently constrained
a50b69c
@burblebee @tkoeppe
LWG3891 LWG 3870 breaks std::expected<cv T, E>
4fa9e57
@burblebee @tkoeppe
LWG4026 Assignment operators of std::expected should propagate trivia…
0b97fac 
…lity

Fixes NB US 135-216, US 136-217 (C++26 CD).
@burblebee @tkoeppe
LWG4122 Ill-formed operator<=> can cause hard error when instantiatin…
9555e19 
…g std::inplace_vector
@burblebee @tkoeppe
LWG4133 awaitable-receiver's members are potentially throwing
d323c5a
@burblebee @tkoeppe
LWG4143 execution::set_value/set_error/set_stopped/start should alway…
901b485 
…s return void
@burblebee @tkoeppe
LWG4151 Precondition of inplace_vector::swap
1a44d00
@burblebee @tkoeppe
LWG4223 Deduction guides for maps are mishandling tuples and references
489e7b2
@burblebee @tkoeppe
LWG4314 Missing move in mdspan layout mapping::operator()
99a0cc3
@burblebee @tkoeppe
LWG4325 std::indirect's operator== still does not support incomplete …
d73dcf9 
…types
@burblebee @tkoeppe
LWG4339 task's coroutine frame may be released late
3cb2831 
Fixes NB US 242-372 (C++26 CD).
@burblebee @tkoeppe
LWG4347 task's stop source is always created
44909c7 
Fixes NB US 257-382 (C++26 CD).

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

Fixes NB US 142-236 (C++26 CD).
@burblebee @tkoeppe
LWG4476 run_loop should not have a set_error completion
fedb57b
@burblebee @tkoeppe
LWG4478 meta::has_identifier is not specified for annotations
6944787
@burblebee @tkoeppe
LWG4485 Move specification for task::stop_token_type
7153ae0 
Fixes NB US 249-379 (C++26 CD).
@burblebee @tkoeppe
LWG4497 std::nullopt_t should be comparable
bfe04cb
@burblebee @tkoeppe
LWG4504 Wording problem in {simple_}counting_scope
e935ed4
@burblebee @tkoeppe
LWG4506 source_location is explicitly unspecified if is constexpr or not
db0703f
@burblebee @tkoeppe
LWG4532 Imprecise std::polymorphic wording seems to imply slicing
65b24c0
@burblebee @tkoeppe
LWG4533 not_fn<f> is unimplementable
6f9fda1
@burblebee @tkoeppe
LWG4537 Improve define_static_array
0e4ec87
@burblebee @tkoeppe
LWG4540 future-senders returned from spawn_future do not forward stop…
7d4823b 
… requests to spawned work

[exec.spawn.future] "receiver" in struct "future-operation" renamed to "receiverx"
due to concept of same name.
burblebee added 10 commits April 12, 2026 21:19
@burblebee @tkoeppe
LWG4544 Parallel overload of ranges::set_difference should return in_…
16f6ade 
…in_out_result
@burblebee @tkoeppe
LWG4548 Parallel ranges::set_intersection should not do unnecessary work
0d04929 
[set.intersection] Turned "skipped" into an indexed definition to match
that of LWG4544.
@burblebee @tkoeppe
LWG4549 vprint_nonunicode_buffered ignores its stream parameter
23c785f
@burblebee @tkoeppe
LWG4550 Need new feature test macros for <stdckdint.h> and <stdbit.h>
07bac54 
Fixes NB GB 07, GB 11 (C++26 CD).
@burblebee @tkoeppe
LWG4552 compare_exchange_weak writes a value on spurious failure, not…
1e3753f 
… memory contents
@burblebee @tkoeppe
LWG4553 Wording for FR-025-246 25.7.18.2 Add a reserve_hint function …
77d02f0 
…to concat_view

Fixes NB FR 025-246 (C++26 CD).
@burblebee @tkoeppe
LWG4554 Remove undefined behaviour from hive for invalid limits
bcfb4de 
Fixes NB US 139-232 (C++26 CD).
@burblebee @tkoeppe
LWG4555 Remove is_consteval_only
b951090 
Fixes NB US 81-149 (C++26 CD).
@burblebee @tkoeppe
LWG4556 Unclear properties of reflection strings
87ab4fd
@burblebee @tkoeppe
LWG4557 Remove constexpr from owner_less and owner_before
45d9c2d 
Fixes NB US 75-138 (C++26 CD).
@tkoeppe tkoeppe force-pushed the motions-2026-03-lwg-2 branch from ed9db42 to 45d9c2d Compare April 12, 2026 20:21
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

post-2026-03

Development

Successfully merging this pull request may close these issues.

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

2 participants

@burblebee @eisenwave