[Motions 2022 11 lwg 7] P2703R0 C++ Standard Library Ready Issues#5983

Merged

tkoeppe merged 44 commits intomainfrom

motions-2022-11-lwg-7

Dec 15, 2022

Commits on Dec 15, 2022

LWG3118 fpos equality comparison unspecified

burblebee
authored and
tkoeppe
committed
LWG3594 inout_ptr — inconsistent release() in destructor

burblebee
authored and
tkoeppe
committed
LWG3636 formatter<T>::format should be const-qualified

burblebee
authored and
tkoeppe
committed
LWG3754 Class template expected synopsis contains declarations that do not match the detailed description

burblebee
authored and
tkoeppe
committed
LWG3028 Container requirements tables should distinguish const and non-const variables

burblebee
authored and
tkoeppe
committed
LWG3177 Limit permission to specialize variable templates to program-defined types

burblebee
authored and
tkoeppe
committed
LWG3545 std::pointer_traits should be SFINAE-friendly

burblebee
authored and
tkoeppe
committed
LWG3597 Unsigned integer types don't model advanceable

burblebee
authored and
tkoeppe
committed
LWG3600 Making istream_iterator copy constructor trivial is an ABI break

burblebee
authored and
tkoeppe
committed
LWG3629 make_error_code and make_error_condition are customization points

burblebee
authored and
tkoeppe
committed
LWG3646 std::ranges::view_interface::size returns a signed type

burblebee
authored and
tkoeppe
committed
LWG3677 Is a cv-qualified pair specially handled in uses-allocator construction?

burblebee
authored and
tkoeppe
committed
LWG3732 prepend_range and append_range can't be amortized constant time

burblebee
authored and
tkoeppe
committed
LWG3736 move_iterator missing disable_sized_sentinel_for specialization

burblebee
authored and
tkoeppe
committed
LWG3738 Missing preconditions for take_view constructor

burblebee
authored and
tkoeppe
committed
LWG3743 ranges::to's reserve may be ill-formed

burblebee
authored and
tkoeppe
committed
LWG3745 std::atomic_wait and its friends lack noexcept

burblebee
authored and
tkoeppe
committed
LWG3746 optional's spaceship with U with a type derived from optional causes infinite constraint meta-recursion

burblebee
authored and
tkoeppe
committed
LWG3747 ranges::uninitialized_copy_n, ranges::uninitialized_move_n, and ranges::destroy_n should use std::move

burblebee
authored and
tkoeppe
committed
LWG3750 Too many papers bump __cpp_lib_format

burblebee
authored and
tkoeppe
committed
LWG3751 Missing feature macro for flat_set

burblebee
authored and
tkoeppe
committed
LWG3755 tuple-for-each can call user-defined operator,

burblebee
authored and
tkoeppe
committed
LWG3757 What's the effect of std::forward_like<void>(x)?

burblebee
authored and
tkoeppe
committed
LWG3759 ranges::rotate_copy should use std::move

burblebee
authored and
tkoeppe
committed
LWG3760 cartesian_product_view::iterator's parent_ is never valid

burblebee
authored and
tkoeppe
committed
LWG3761 cartesian_product_view::iterator::operator- should pass by reference

burblebee
authored and
tkoeppe
committed
LWG3762 generator::iterator::operator== should pass by reference

burblebee
authored and
tkoeppe
committed
LWG3764 reference_wrapper::operator() should propagate noexcept

burblebee
authored and
tkoeppe
committed
LWG3765 const_sentinel should be constrained

burblebee
authored and
tkoeppe
committed
LWG3770 const_sentinel_t is missing

burblebee
authored and
tkoeppe
committed
LWG3773 views::zip_transform still requires F to be copy_constructible when empty pack

burblebee
authored and
tkoeppe
committed
LWG3774 <flat_set> should include <compare>

burblebee
authored and
tkoeppe
committed
LWG3775 Broken dependencies in the Cpp17Allocator requirements

burblebee
authored and
tkoeppe
committed
LWG3778 vector<bool> missing exception specifications

burblebee
authored and
tkoeppe
committed
LWG3781 The exposition-only alias templates cont-key-type and cont-mapped-type should be removed

burblebee
authored and
tkoeppe
committed
LWG3782 Should <math.h> declare ::lerp?

burblebee
authored and
tkoeppe
committed
LWG3784 std.compat should not provide ::byte and its friends

burblebee
authored and
tkoeppe
committed
LWG3785 ranges::to is over-constrained on the destination type being a range

burblebee
authored and
tkoeppe
committed
LWG3788 jthread::operator=(jthread&&) postconditions are unimplementable under self-assignment

burblebee
authored and
tkoeppe
committed
LWG3792 __cpp_lib_constexpr_algorithms should also be defined in <utility>

burblebee
authored and
tkoeppe
committed
LWG3795 Self-move-assignment of std::future and std::shared_future have unimplementable postconditions

burblebee
authored and
tkoeppe
committed
LWG3796 movable-box as member should use default-initialization instead of copy-initialization

burblebee
authored and
tkoeppe
committed
LWG3798 Rvalue reference and iterator_category

burblebee
authored and
tkoeppe
committed
LWG3801 cartesian_product_view::iterator::distance-from ignores the size of last underlying range

burblebee
authored and
tkoeppe
committed