1 files changed, 51 insertions, 0 deletions
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; }