From 4228e82740f62b841799cfca04861fa217fb93a5 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Thu, 1 Aug 2024 00:56:05 +0200
Subject: More work on taxonomy

---
 asl/meta/quals_tests.cpp | 51 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 asl/meta/quals_tests.cpp

(limited to 'asl/meta/quals_tests.cpp')

diff --git a/asl/meta/quals_tests.cpp b/asl/meta/quals_tests.cpp
new file mode 100644
index 0000000..37ecc6c
--- /dev/null
+++ b/asl/meta/quals_tests.cpp
@@ -0,0 +1,51 @@
+#include "asl/meta/quals.hpp"
+#include "asl/meta/types.hpp"
+
+using namespace asl;
+
+static_assert(!is_const<int>);
+static_assert(is_const<const int>);
+static_assert(!is_const<volatile int>);
+static_assert(is_const<const volatile int>);
+
+static_assert(!is_volatile<int>);
+static_assert(!is_volatile<const int>);
+static_assert(is_volatile<volatile int>);
+static_assert(is_volatile<const volatile int>);
+
+static_assert(!is_const<const int*>);
+static_assert(is_const<const int* const>);
+
+static_assert(is_const<const int&>);
+static_assert(is_const<int&>);
+
+static_assert(is_const<void()>);
+static_assert(is_const<void() const>);
+static_assert(is_const<void() const &>);
+
+static_assert(!is_volatile<int&>);
+static_assert(!is_volatile<void()>);
+
+static_assert(same<as_const_t<int>, const int>);
+static_assert(same<as_const_t<const int>, const int>);
+static_assert(same<un_const_t<int>, int>);
+static_assert(same<un_const_t<const int>, int>);
+
+static_assert(same<as_const_t<int[]>, const int[]>);
+static_assert(same<as_const_t<int[5]>, const int[5]>);
+
+static_assert(same<as_volatile_t<int>, volatile int>);
+static_assert(same<as_volatile_t<volatile int>, volatile int>);
+static_assert(same<un_volatile_t<int>, int>);
+static_assert(same<un_volatile_t<volatile int>, int>);
+
+static_assert(same<as_volatile_t<int[]>, volatile int[]>);
+static_assert(same<as_volatile_t<int[5]>, volatile int[5]>);
+
+static_assert(same<un_qual_t<int>, int>);
+static_assert(same<un_qual_t<const int>, int>);
+static_assert(same<un_qual_t<volatile int>, int>);
+static_assert(same<un_qual_t<const volatile int>, int>);
+static_assert(same<un_qual_t<volatile const int>, int>);
+
+int main() { return 0; }
-- 
cgit