Fix bugs in alignment_of_v, etc. Re-enable the newly added tests

llvm-svn: 254289

3 files changed, 16 insertions, 16 deletions

diff --git a/libcxx/test/std/utilities/meta/meta.unary.prop.query/alignment_of.pass.cpp b/libcxx/test/std/utilities/meta/meta.unary.prop.query/alignment_of.pass.cpp
index 4929a2d3eb3..0f55db64719 100644
--- a/libcxx/test/std/utilities/meta/meta.unary.prop.query/alignment_of.pass.cpp
+++ b/libcxx/test/std/utilities/meta/meta.unary.prop.query/alignment_of.pass.cpp
@@ -24,10 +24,10 @@ void test_alignment_of()
     static_assert( std::alignment_of<volatile T>::value == A, "");
     static_assert( std::alignment_of<const volatile T>::value == A, "");
 #if TEST_STD_VER > 14
-//     static_assert( std::alignment_of_v<T> == A, "");
-//     static_assert( std::alignment_of_v<const T> == A, "");
-//     static_assert( std::alignment_of_v<volatile T> == A, "");
-//     static_assert( std::alignment_of_v<const volatile T> == A, "");
+    static_assert( std::alignment_of_v<T> == A, "");
+    static_assert( std::alignment_of_v<const T> == A, "");
+    static_assert( std::alignment_of_v<volatile T> == A, "");
+    static_assert( std::alignment_of_v<const volatile T> == A, "");
 #endif
 }
 
diff --git a/libcxx/test/std/utilities/meta/meta.unary.prop.query/extent.pass.cpp b/libcxx/test/std/utilities/meta/meta.unary.prop.query/extent.pass.cpp
index 60bf5aee196..39a7c2b593b 100644
--- a/libcxx/test/std/utilities/meta/meta.unary.prop.query/extent.pass.cpp
+++ b/libcxx/test/std/utilities/meta/meta.unary.prop.query/extent.pass.cpp
@@ -23,10 +23,10 @@ void test_extent()
     static_assert((std::extent<volatile T>::value == A), "");
     static_assert((std::extent<const volatile T>::value == A), "");
 #if TEST_STD_VER > 14
-//     static_assert((std::extent_v<T> == A), "");
-//     static_assert((std::extent_v<const T> == A), "");
-//     static_assert((std::extent_v<volatile T> == A), "");
-//     static_assert((std::extent_v<const volatile T> == A), "");
+    static_assert((std::extent_v<T> == A), "");
+    static_assert((std::extent_v<const T> == A), "");
+    static_assert((std::extent_v<volatile T> == A), "");
+    static_assert((std::extent_v<const volatile T> == A), "");
 #endif
 }
 
@@ -38,10 +38,10 @@ void test_extent1()
     static_assert((std::extent<volatile T, 1>::value == A), "");
     static_assert((std::extent<const volatile T, 1>::value == A), "");
 #if TEST_STD_VER > 14
-//     static_assert((std::extent_v<T, 1> == A), "");
-//     static_assert((std::extent_v<const T, 1> == A), "");
-//     static_assert((std::extent_v<volatile T, 1> == A), "");
-//     static_assert((std::extent_v<const volatile T, 1> == A), "");
+    static_assert((std::extent_v<T, 1> == A), "");
+    static_assert((std::extent_v<const T, 1> == A), "");
+    static_assert((std::extent_v<volatile T, 1> == A), "");
+    static_assert((std::extent_v<const volatile T, 1> == A), "");
 #endif
 }
 
diff --git a/libcxx/test/std/utilities/meta/meta.unary.prop.query/rank.pass.cpp b/libcxx/test/std/utilities/meta/meta.unary.prop.query/rank.pass.cpp
index 5d062eedfe3..755269d1d40 100644
--- a/libcxx/test/std/utilities/meta/meta.unary.prop.query/rank.pass.cpp
+++ b/libcxx/test/std/utilities/meta/meta.unary.prop.query/rank.pass.cpp
@@ -23,10 +23,10 @@ void test_rank()
     static_assert( std::rank<volatile T>::value == A, "");
     static_assert( std::rank<const volatile T>::value == A, "");
 #if TEST_STD_VER > 14
-//     static_assert( std::rank_v<T> == A, "");
-//     static_assert( std::rank_v<const T> == A, "");
-//     static_assert( std::rank_v<volatile T> == A, "");
-//     static_assert( std::rank_v<const volatile T> == A, "");
+    static_assert( std::rank_v<T> == A, "");
+    static_assert( std::rank_v<const T> == A, "");
+    static_assert( std::rank_v<volatile T> == A, "");
+    static_assert( std::rank_v<const volatile T> == A, "");
 #endif
 }