diff --git a/STL_Extension/include/CGAL/type_traits.h b/STL_Extension/include/CGAL/type_traits.h
index 5df156a9b9c..c97f28cfbee 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>
@@ -88,17 +89,22 @@ 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
 
 } // end namespace CGAL