From 940a7ebe9fcaf00af7d63ccfd08193cae6eca530 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 23 Apr 2024 14:29:33 +0200
Subject: [PATCH] fix make_array with is_convertible_without_narrowing

---
 STL_Extension/include/CGAL/array.h | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/STL_Extension/include/CGAL/array.h b/STL_Extension/include/CGAL/array.h
index 98892c6257d..45da267b0ea 100644
--- a/STL_Extension/include/CGAL/array.h
+++ b/STL_Extension/include/CGAL/array.h
@@ -13,6 +13,7 @@
 #define CGAL_ARRAY_H
 
 #include <CGAL/config.h>
+#include <CGAL/type_traits.h>
 #include <array>
 #include <utility>
 
@@ -63,7 +64,13 @@ constexpr
 std::array<Make_array_element_type_t<T, Args...>, sizeof...(Args) >
 make_array(Args&& ... args)
 {
-  return {{ std::forward<Args>(args)... }};
+  using Target_type = Make_array_element_type_t<T, Args...>;
+  if constexpr ( (CGAL::is_convertible_without_narrowing_v<cpp20::remove_cvref_t<Args>, Target_type>&&...) )
+    return {{ std::forward<Args>(args)... }};
+  else {
+    std::array< Target_type, sizeof...(Args) > a = { { static_cast<Target_type>(args)... } };
+    return a;
+  }
 }
 
 // Functor version