Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
LWG
  • Loading branch information
huixie90 committed Jul 19, 2025
commit 9a5c4ee2306db62071360ca8b5afffb898ef4bd9
2 changes: 1 addition & 1 deletion libcxx/docs/Status/Cxx23Issues.csv
Comment thread
huixie90 marked this conversation as resolved.
Outdated
Original file line number Diff line number Diff line change
Expand Up @@ -222,7 +222,7 @@
"`LWG3765 <https://wg21.link/LWG3765>`__","``const_sentinel`` should be constrained","2022-11 (Kona)","","",""
"`LWG3766 <https://wg21.link/LWG3766>`__","``view_interface::cbegin`` is underconstrained","2022-11 (Kona)","","",""
"`LWG3770 <https://wg21.link/LWG3770>`__","``const_sentinel_t`` is missing","2022-11 (Kona)","","",""
"`LWG3773 <https://wg21.link/LWG3773>`__","``views::zip_transform`` still requires ``F`` to be ``copy_constructible`` when empty pack","2022-11 (Kona)","","",""
"`LWG3773 <https://wg21.link/LWG3773>`__","``views::zip_transform`` still requires ``F`` to be ``copy_constructible`` when empty pack","2022-11 (Kona)","|Complete|","21",""
Comment thread
huixie90 marked this conversation as resolved.
Outdated
"`LWG3774 <https://wg21.link/LWG3774>`__","``<flat_set>`` should include ``<compare>``","2022-11 (Kona)","","",""
"`LWG3775 <https://wg21.link/LWG3775>`__","Broken dependencies in the ``Cpp17Allocator`` requirements","2022-11 (Kona)","","",""
"`LWG3778 <https://wg21.link/LWG3778>`__","``vector<bool>`` missing exception specifications","2022-11 (Kona)","|Complete|","3.7",""
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,13 @@ struct NotMoveConstructible {
int operator()() const { return 5; }
};

struct NotCopyConstructible {
NotCopyConstructible() = default;
NotCopyConstructible(NotCopyConstructible&&) = default;
NotCopyConstructible(const NotCopyConstructible&) = delete;
int operator()() const { return 5; }
};

struct NotInvocable {};

template <class... Args>
Expand All @@ -35,6 +42,9 @@ struct ReturnNotObject {
void operator()() const {}
};

// LWG3773 views::zip_transform still requires F to be copy_constructible when empty pack
static_assert(std::is_invocable_v<decltype((std::views::zip_transform)), NotCopyConstructible>);

static_assert(!std::is_invocable_v<decltype((std::views::zip_transform))>);
static_assert(!std::is_invocable_v<decltype((std::views::zip_transform)), NotMoveConstructible>);
static_assert(!std::is_invocable_v<decltype((std::views::zip_transform)), NotInvocable>);
Expand Down