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] 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