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/refs_tests.cpp | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 asl/meta/refs_tests.cpp

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

diff --git a/asl/meta/refs_tests.cpp b/asl/meta/refs_tests.cpp
new file mode 100644
index 0000000..49d4f23
--- /dev/null
+++ b/asl/meta/refs_tests.cpp
@@ -0,0 +1,33 @@
+#include "asl/meta/refs.hpp"
+#include "asl/meta/types.hpp"
+
+using namespace asl;
+
+static_assert(referenceable<int>);
+static_assert(referenceable<int&>);
+static_assert(referenceable<int&&>);
+static_assert(!referenceable<void>);
+static_assert(referenceable<void*>);
+static_assert(referenceable<void()>);
+static_assert(referenceable<void(*)()>);
+static_assert(!referenceable<void() const>);
+static_assert(!referenceable<void() &>);
+static_assert(!referenceable<void() const &&>);
+
+static_assert(!is_ref<int>);
+static_assert(!is_rref<int>);
+static_assert(!is_any_ref<int>);
+
+static_assert(is_ref<int&>);
+static_assert(!is_rref<int&>);
+static_assert(is_any_ref<int&>);
+
+static_assert(!is_ref<int&&>);
+static_assert(is_rref<int&&>);
+static_assert(is_any_ref<int&&>);
+
+static_assert(!is_any_ref<void()>);
+static_assert(!is_any_ref<void() const>);
+static_assert(!is_any_ref<void() &>);
+
+int main() { return 0; }
-- 
cgit