[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