P3905R0 C++ Standard Library Ready Issues to be moved in Kona#8517

Merged

tkoeppe merged 60 commits into

cplusplus:mainfrom

eisenwave:motions-2025-11-lwg-1

Dec 14, 2025

Commits on Dec 13, 2025

LWG4137 Fix Mandates, Preconditions, and Complexity elements of [linalg] algorithms

eisenwave
authored and
tkoeppe
committed
LWG4243 as_bytes/as_writable_bytes is broken with span<volatile T>

eisenwave
authored and
tkoeppe
committed
LWG4315 Insufficient specification of vector_two_norm and matrix_frob_norm

eisenwave
authored and
tkoeppe
committed
LWG4423 meta::data_member_spec allows negative bit-field widths

eisenwave
authored and
tkoeppe
committed
LWG2991 variant copy constructor missing noexcept(see below)

eisenwave
authored and
tkoeppe
committed
LWG3090 What is §[time.duration.cons]p4's "no overflow is induced in the conversion" intended to mean?

eisenwave
authored and
tkoeppe
committed
LWG3627 Inconsistent specifications for std::make_optional overloads

eisenwave
authored and
tkoeppe
committed
LWG4020 extents::index-cast weirdness

eisenwave
authored and
tkoeppe
committed
LWG4136 Specify behavior of [linalg] Hermitian algorithms on diagonal with nonzero imaginary part

eisenwave
authored and
tkoeppe
committed
LWG4166 concat_view::end() should be more constrained in order to support noncopyable iterators

eisenwave
authored and
tkoeppe
committed
LWG4253 basic_const_iterator should provide iterator_type

eisenwave
authored and
tkoeppe
committed
LWG4255 move_only_function constructor should recognize empty copyable_functions

eisenwave
authored and
tkoeppe
committed
LWG4256 Incorrect constrains for function_ref constructors from nontype_t

eisenwave
authored and
tkoeppe
committed
LWG4257 Stream insertion for chrono::local_time should be constrained

eisenwave
authored and
tkoeppe
committed
LWG4265 std::midpoint should not accept const bool

eisenwave
authored and
tkoeppe
committed
LWG4266 layout_stride::mapping should treat empty mappings as exhaustive

eisenwave
authored and
tkoeppe
committed
LWG4269 unique_copy passes arguments to its predicate backwards

eisenwave
authored and
tkoeppe
committed
LWG4274 The chrono::hh_mm_ss constructor is ill-formed for unsigned durations

eisenwave
authored and
tkoeppe
committed
LWG4275 std::dynamic_extent should also be defined in <mdspan>

eisenwave
authored and
tkoeppe
committed
LWG4276 front() and back() are not hardened for zero-length std::arrays

eisenwave
authored and
tkoeppe
committed
LWG4280 simd::partial_load uses undefined identifier T

eisenwave
authored and
tkoeppe
committed
LWG4286 Some more feature-test macros for fully freestanding features are not marked freestanding

eisenwave
authored and
tkoeppe
committed
LWG4291 explicit map(const Allocator&) should be constexpr

eisenwave
authored and
tkoeppe
committed
LWG4292 Unordered container local iterators should be constexpr iterators

eisenwave
authored and
tkoeppe
committed
LWG4293 span::subspan/first/last chooses wrong constructor when T is const-qualified bool

eisenwave
authored and
tkoeppe
committed
LWG4294 bitset(const CharT*) constructor needs to be constrained

eisenwave
authored and
tkoeppe
committed
LWG4297 Missing permutable constraint for iterator overloads in Parallel Range Algorithms

eisenwave
authored and
tkoeppe
committed
LWG4299 Missing Mandates: part in optional<T&>::transform

eisenwave
authored and
tkoeppe
committed
LWG4301 condition_variable{_any}::wait_{for, until} should take timeout by value

eisenwave
authored and
tkoeppe
committed
LWG4305 Missing user requirements on type_order template

eisenwave
authored and
tkoeppe
committed
LWG4312 Const and value category mismatch for allocator_arg_t/allocator_arg in the description of uses-allocator construction

eisenwave
authored and
tkoeppe
committed
LWG4317 The meaning of "resource" in the Cpp17Destructible requirements is undefined

eisenwave
authored and
tkoeppe
committed
LWG4318 Have hive::erase_if reevaluate end() to avoid UB

eisenwave
authored and
tkoeppe
committed
LWG4328 Remove note in §[exec.sched] regarding waiting for completion of scheduled operations

eisenwave
authored and
tkoeppe
committed
LWG4340 task::promise_type::unhandled_stopped() should be noexcept

eisenwave
authored and
tkoeppe
committed
LWG4341 Missing rvalue reference qualification for task::connect()

eisenwave
authored and
tkoeppe
committed
LWG4342 Missing rvalue reference qualification for task_scheduler::ts-sender::connect()

eisenwave
authored and
tkoeppe
committed
LWG4343 Missing default template arguments for task

eisenwave
authored and
tkoeppe
committed
LWG4345 task::promise_type::return_value default template parameter

eisenwave
authored and
tkoeppe
committed
LWG4346 task::promise_type::return_void/value lack a specification

eisenwave
authored and
tkoeppe
committed
LWG4349 task is not actually started lazily

eisenwave
authored and
tkoeppe
committed
LWG4351 integral-constant-like needs more remove_cvref_t

eisenwave
authored and
tkoeppe
committed
LWG4366 Heterogeneous comparison of expected may be ill-formed

eisenwave
authored and
tkoeppe
committed
LWG4370 Comparison of optional<T> to T may be ill-formed

eisenwave
authored and
tkoeppe
committed
LWG4372 Weaken Mandates: for dynamic padding values in padded layouts

eisenwave
authored and
tkoeppe
committed
LWG4375 std::simd::bit_ceil should not be noexcept

eisenwave
authored and
tkoeppe
committed
LWG4377 Misleading note about lock-free property of std::atomic_ref

eisenwave
authored and
tkoeppe
committed
LWG4382 The simd::basic_mask(bool) overload needs to be more constrained

eisenwave
authored and
tkoeppe
committed
LWG4384 flat_set::erase(iterator) is underconstrained

eisenwave
authored and
tkoeppe
committed
LWG4398 enable_nonlocking_formatter_optimization should be disabled for container adaptors

eisenwave
authored and
tkoeppe
committed
LWG4399 enable_nonlocking_formatter_optimization for pair and tuple needs remove_cvref_t

eisenwave
authored and
tkoeppe
committed
LWG4403 simd::basic_vec CTAD misses difference type casting

eisenwave
authored and
tkoeppe
committed
LWG4407 constexpr-wrapper-like needs remove_cvref_t in simd::basic_vec constructor

eisenwave
authored and
tkoeppe
committed
LWG4412 Fix declaration of zero_element and uninit_element

eisenwave
authored and
tkoeppe
committed
LWG4413 Unused/left-over simd::alignment specialization for basic_mask

eisenwave
authored and
tkoeppe
committed
LWG4415 task::promise_type::uncaught_exception seems to be misnamed

eisenwave
authored and
tkoeppe
committed
LWG4416 <meta> should include <compare>

eisenwave
authored and
tkoeppe
committed
LWG4422 meta::access_context should be a consteval-only type

eisenwave
authored and
tkoeppe
committed
LWG4425 CTAD function_ref of data member pointer should produce noexcept signature

eisenwave
authored and
tkoeppe
committed
LWG4426 Clarify what meta::reflect_constant_string considers a string literal

eisenwave
authored and
tkoeppe
committed