diff --git a/libcxx/docs/Cxx2aStatusIssuesStatus.csv b/libcxx/docs/Cxx2aStatusIssuesStatus.csv --- a/libcxx/docs/Cxx2aStatusIssuesStatus.csv +++ b/libcxx/docs/Cxx2aStatusIssuesStatus.csv @@ -192,10 +192,10 @@ "`2859 `__","Definition of *reachable* in [ptr.launder] misses pointer arithmetic from pointer-interconvertible object","Prague","","" "`3018 `__","``shared_ptr``\ of function type","Prague","","" "`3050 `__","Conversion specification problem in ``chrono::duration``\ constructor","Prague","","" -"`3141 `__","``CopyConstructible``\ doesn't preserve source values","Prague","","" -"`3150 `__","``UniformRandomBitGenerator``\ should validate ``min``\ and ``max``\ ","Prague","","" -"`3175 `__","The ``CommonReference``\ requirement of concept ``SwappableWith``\ is not satisfied in the example","Prague","","" -"`3194 `__","``ConvertibleTo``\ prose does not match code","Prague","","" +"`3141 `__","``CopyConstructible``\ doesn't preserve source values","Prague","|Nothing to do|","" +"`3150 `__","``UniformRandomBitGenerator``\ should validate ``min``\ and ``max``\ ","Prague","|Complete|","14.0" +"`3175 `__","The ``CommonReference``\ requirement of concept ``SwappableWith``\ is not satisfied in the example","Prague","|Complete|","14.0" +"`3194 `__","``ConvertibleTo``\ prose does not match code","Prague","|Complete|","14.0" "`3200 `__","``midpoint``\ should not constrain ``T``\ is complete","Prague","|Nothing To Do|","" "`3201 `__","``lerp``\ should be marked as ``noexcept``\ ","Prague","|Complete|","" "`3226 `__","``zoned_time``\ constructor from ``string_view``\ should accept ``zoned_time``\ ","Prague","","" @@ -249,13 +249,13 @@ "`3326 `__","``enable_view``\ has false positives","Prague","","" "`3327 `__","Format alignment specifiers vs. text direction","Prague","","" "`3328 `__","Clarify that ``std::string``\ is not good for UTF-8","Prague","","" -"`3329 `__","``totally_ordered_with``\ both directly and indirectly requires ``common_reference_with``\ ","Prague","","" +"`3329 `__","``totally_ordered_with``\ both directly and indirectly requires ``common_reference_with``\ ","Prague","|Complete|","14.0" "`3330 `__","Include ````\ from most library headers","Prague","","" -"`3331 `__","Define ``totally_ordered/_with``\ in terms of ``*partially-ordered-with*``\ ","Prague","","" +"`3331 `__","Define ``totally_ordered/_with``\ in terms of ``*partially-ordered-with*``\ ","Prague","|Complete|","14.0" "`3332 `__","Issue in |sect|\ [time.format]","Prague","","" "`3334 `__","``basic_osyncstream``\ move assignment and destruction calls ``basic_syncbuf::emit()``\ twice","Prague","","" "`3335 `__","Resolve C++20 NB comments US 273 and GB 274","Prague","","" -"`3338 `__","Rename ``default_constructible``\ to ``default_initializable``\ ","Prague","","" +"`3338 `__","Rename ``default_constructible``\ to ``default_initializable``\ ","Prague","|Complete|","14.0" "`3340 `__","Formatting functions should throw on argument/format string mismatch in |sect|\ [format.functions]","Prague","","" "`3346 `__","``pair``\ and ``tuple``\ copy and move constructor have backwards specification","Prague","","" "`3347 `__","``std::pair``\ now requires ``T``\ and ``U``\ to be less-than-comparable","Prague","","" diff --git a/libcxx/docs/Cxx2aStatusPaperStatus.csv b/libcxx/docs/Cxx2aStatusPaperStatus.csv --- a/libcxx/docs/Cxx2aStatusPaperStatus.csv +++ b/libcxx/docs/Cxx2aStatusPaperStatus.csv @@ -43,7 +43,7 @@ "`P0879R0 `__","LWG","Constexpr for swap and swap related functions Also resolves LWG issue 2800.","Rapperswil","|Complete|","13.0" "`P0887R1 `__","LWG","The identity metafunction","Rapperswil","|Complete|","8.0" "`P0892R2 `__","CWG","explicit(bool)","Rapperswil","","" -"`P0898R3 `__","LWG","Standard Library Concepts","Rapperswil","|In Progress|","" +"`P0898R3 `__","LWG","Standard Library Concepts","Rapperswil","|Complete|","14.0" "`P0935R0 `__","LWG","Eradicating unnecessarily explicit default constructors from the standard library","Rapperswil","|Complete|","12.0" "`P0941R2 `__","CWG","Integrating feature-test macros into the C++ WD","Rapperswil","|In Progress|","" "`P1023R0 `__","LWG","constexpr comparison operators for std::array","Rapperswil","|Complete|","8.0" @@ -177,7 +177,7 @@ "`P1956 `__","LWG","On the names of low-level bit manipulation functions","Prague","|Complete|","12.0" "`P1957 `__","CWG","Converting from ``T*``\ to bool should be considered narrowing (re: US 212)","Prague","* *","" "`P1963 `__","LWG","Fixing US 313","Prague","* *","" -"`P1964 `__","LWG","Wording for boolean-testable","Prague","* *","" +"`P1964 `__","LWG","Wording for boolean-testable","Prague","|Complete|","14.0" "`P1970 `__","LWG","Consistency for size() functions: Add ranges::ssize","Prague","* *","" "`P1973 `__","LWG","Rename ""_default_init"" Functions, Rev1","Prague","* *","" "`P1976 `__","LWG","Fixed-size span construction from dynamic range","Prague","|Complete|","11.0" diff --git a/libcxx/include/concepts b/libcxx/include/concepts --- a/libcxx/include/concepts +++ b/libcxx/include/concepts @@ -326,7 +326,7 @@ template concept swappable_with = - common_reference_with<_Tp&, _Up&> && + common_reference_with<_Tp, _Up> && requires(_Tp&& __t, _Up&& __u) { ranges::swap(_VSTD::forward<_Tp>(__t), _VSTD::forward<_Tp>(__t)); ranges::swap(_VSTD::forward<_Up>(__u), _VSTD::forward<_Up>(__u));