From f6303dc95190887dac4ed39b6650d514bfaf6367 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Tue, 24 Jun 2025 18:06:13 +0200
Subject: [PATCH 1/2] hide sandbox not used

---
 STL_Extension/include/CGAL/type_traits.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/STL_Extension/include/CGAL/type_traits.h b/STL_Extension/include/CGAL/type_traits.h
index 5df156a9b9c..facf7a58e12 100644
--- a/STL_Extension/include/CGAL/type_traits.h
+++ b/STL_Extension/include/CGAL/type_traits.h
@@ -76,6 +76,7 @@ struct is_convertible_without_narrowing : details::is_convertible_without_narrow
 template <typename From, typename To>
 inline constexpr bool is_convertible_without_narrowing_v = is_convertible_without_narrowing<From, To>::value;
 
+#if 0
 namespace is_complete_internals
 {
     template<class T>
@@ -99,6 +100,7 @@ namespace is_complete_testsuite
   };
   static_assert(is_complete<S>::value, "error");
 }
+#endif
 
 } // end namespace CGAL
 

From cf77d8022f9a23f400d4f8ec333ce31a2b5bb1b1 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 25 Jun 2025 17:37:26 +0200
Subject: [PATCH 2/2] fix the testsuite of CGAL::is_complete (but keep the #if
 0 for now)

---
 STL_Extension/include/CGAL/type_traits.h | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/STL_Extension/include/CGAL/type_traits.h b/STL_Extension/include/CGAL/type_traits.h
index facf7a58e12..c97f28cfbee 100644
--- a/STL_Extension/include/CGAL/type_traits.h
+++ b/STL_Extension/include/CGAL/type_traits.h
@@ -89,16 +89,20 @@ namespace is_complete_internals
 template<class T, class Base = decltype(is_complete_internals::check(typename std::enable_if<true, T(*)()>::type()))>
 struct is_complete : Base { };
 
+template <class T>
+inline constexpr bool is_complete_v = is_complete<T>::value;
+
 namespace is_complete_testsuite
 {
 
-  struct S;
-  static_assert(!is_complete<S>::value, "error");
-  struct S
+  struct S1;
+  static_assert(!is_complete<S1>::value, "error");
+  struct S2
   {
-    static_assert(!is_complete<S>::value, "error");
+    static_assert(!is_complete<S2>::value, "error");
   };
-  static_assert(is_complete<S>::value, "error");
+  struct S3 {};
+  static_assert(is_complete<S3>::value, "error");
 }
 #endif