[libcxx-commits] [libcxx] WIP [libc++][ranges] Add `convertible_to` test case for `enumerate_view` iterator ctor test (PR #212044)
A. Jiang via libcxx-commits
libcxx-commits at lists.llvm.org
Mon Jul 27 05:51:13 PDT 2026
================
@@ -43,6 +43,7 @@ constexpr void test() {
};
static_assert(std::is_convertible_v<EnumerateIterator, EnumerateConstIterator>);
+ static_assert(std::convertible_to<EnumerateIterator, EnumerateConstIterator>);
----------------
frederick-vs-ja wrote:
`std::convertible_to<T, U>` is strictly stronger than `std::is_convertible_v<T, U>`. So I don't think we should keep the line above.
https://github.com/llvm/llvm-project/pull/212044
More information about the libcxx-commits
mailing list