[libcxx-commits] [libcxx] [libc++] Use __detected_or_t to implement __has_iterator_{category, concept}_convertible_to (PR #124456)

[Louis Dionne via libcxx-commits]

================
@@ -410,7 +410,11 @@ module std [system] {
     module copy_backward                          { header "__algorithm/copy_backward.h" }
     module copy_if                                { header "__algorithm/copy_if.h" }
     module copy_move_common                       { header "__algorithm/copy_move_common.h" }
-    module copy_n                                 { header "__algorithm/copy_n.h" }
+    module copy_n                                 {
+      header "__algorithm/copy_n.h"
+
+      export std.iterator_traits
----------------
ldionne wrote:

Why is that export necessary?

https://github.com/llvm/llvm-project/pull/124456