From cd43985ebae5cfda6234a356ce724491bef48e95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?D=C5=BEenan=20Zuki=C4=87?= <dzenan.zukic@kitware.com>
Date: Fri, 10 Sep 2021 11:36:09 -0400
Subject: [PATCH] ENH: replace itkStaticAssert by STL's static_assert

This is a follow-up to d3e151f09d04830c8ef6ac2f2b104d247ffb99f3.
---
 .../test/itkMetaProgrammingLibraryTest.cxx    | 93 +++++++++----------
 1 file changed, 44 insertions(+), 49 deletions(-)

diff --git a/Modules/Core/Common/test/itkMetaProgrammingLibraryTest.cxx b/Modules/Core/Common/test/itkMetaProgrammingLibraryTest.cxx
index b287e681bf0..c7aff1f450b 100644
--- a/Modules/Core/Common/test/itkMetaProgrammingLibraryTest.cxx
+++ b/Modules/Core/Common/test/itkMetaProgrammingLibraryTest.cxx
@@ -19,7 +19,6 @@
 #include <type_traits>
 
 #include "itkMetaProgrammingLibrary.h"
-#include "itkStaticAssert.h"
 
 
 int
@@ -27,69 +26,65 @@ itkMetaProgrammingLibraryTest(int, char *[])
 {
   using namespace itk::mpl;
 
-#if !defined(ITK_LEGACY_REMOVE)
-
   // Or between constants
-  itkStaticAssert((OrC<true, true, true>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<true, false, true>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<true, true, false>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<false, false, true>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<true, false, false>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<false, true, false>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<false, false, false>::Value == false), "Unit test failed");
-
-  itkStaticAssert((OrC<true, true>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<true, false>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<false, true>::Value == true), "Unit test failed");
-  itkStaticAssert((OrC<false, false>::Value == false), "Unit test failed");
+  static_assert((OrC<true, true, true>::Value == true), "Unit test failed");
+  static_assert((OrC<true, false, true>::Value == true), "Unit test failed");
+  static_assert((OrC<true, true, false>::Value == true), "Unit test failed");
+  static_assert((OrC<false, false, true>::Value == true), "Unit test failed");
+  static_assert((OrC<true, false, false>::Value == true), "Unit test failed");
+  static_assert((OrC<false, true, false>::Value == true), "Unit test failed");
+  static_assert((OrC<false, false, false>::Value == false), "Unit test failed");
+
+  static_assert((OrC<true, true>::Value == true), "Unit test failed");
+  static_assert((OrC<true, false>::Value == true), "Unit test failed");
+  static_assert((OrC<false, true>::Value == true), "Unit test failed");
+  static_assert((OrC<false, false>::Value == false), "Unit test failed");
 
   // Or between types
-  itkStaticAssert((std::is_same<Or<TrueType, TrueType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<TrueType, FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<TrueType, TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<FalseType, FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<TrueType, FalseType, FalseType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<FalseType, TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<FalseType, FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
-
-  itkStaticAssert((std::is_same<Or<TrueType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Or<FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<TrueType, TrueType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<TrueType, FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<TrueType, TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<FalseType, FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<TrueType, FalseType, FalseType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<FalseType, TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<FalseType, FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
+
+  static_assert((std::is_same<Or<TrueType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Or<FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
 
   // And between constants
-  itkStaticAssert((AndC<true, true>::Value == true), "Unit test failed");
-  itkStaticAssert((AndC<true, false>::Value == false), "Unit test failed");
-  itkStaticAssert((AndC<false, true>::Value == false), "Unit test failed");
-  itkStaticAssert((AndC<false, false>::Value == false), "Unit test failed");
+  static_assert((AndC<true, true>::Value == true), "Unit test failed");
+  static_assert((AndC<true, false>::Value == false), "Unit test failed");
+  static_assert((AndC<false, true>::Value == false), "Unit test failed");
+  static_assert((AndC<false, false>::Value == false), "Unit test failed");
 
   // And between types
-  itkStaticAssert((std::is_same<And<TrueType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<And<TrueType, FalseType>::Type, FalseType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<And<FalseType, TrueType>::Type, FalseType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<And<FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<And<TrueType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<And<TrueType, FalseType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<And<FalseType, TrueType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<And<FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
 
   // Xor between constants
-  itkStaticAssert((XorC<true, true>::Value == false), "Unit test failed");
-  itkStaticAssert((XorC<true, false>::Value == true), "Unit test failed");
-  itkStaticAssert((XorC<false, true>::Value == true), "Unit test failed");
-  itkStaticAssert((XorC<false, false>::Value == false), "Unit test failed");
+  static_assert((XorC<true, true>::Value == false), "Unit test failed");
+  static_assert((XorC<true, false>::Value == true), "Unit test failed");
+  static_assert((XorC<false, true>::Value == true), "Unit test failed");
+  static_assert((XorC<false, false>::Value == false), "Unit test failed");
 
   // Xor between types
-  itkStaticAssert((std::is_same<Xor<TrueType, TrueType>::Type, FalseType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Xor<TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Xor<FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Xor<FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<Xor<TrueType, TrueType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<Xor<TrueType, FalseType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Xor<FalseType, TrueType>::Type, TrueType>::value), "Unit test failed");
+  static_assert((std::is_same<Xor<FalseType, FalseType>::Type, FalseType>::value), "Unit test failed");
 
   // Not between constants
-  itkStaticAssert((NotC<true>::Value == false), "Unit test failed");
-  itkStaticAssert((NotC<false>::Value == true), "Unit test failed");
+  static_assert((NotC<true>::Value == false), "Unit test failed");
+  static_assert((NotC<false>::Value == true), "Unit test failed");
 
   // Not between types
-  itkStaticAssert((std::is_same<Not<TrueType>::Type, FalseType>::value), "Unit test failed");
-  itkStaticAssert((std::is_same<Not<FalseType>::Type, TrueType>::value), "Unit test failed");
-
-#endif
+  static_assert((std::is_same<Not<TrueType>::Type, FalseType>::value), "Unit test failed");
+  static_assert((std::is_same<Not<FalseType>::Type, TrueType>::value), "Unit test failed");
 
   return EXIT_SUCCESS;
 }