More work on taxonomy

1 files changed, 33 insertions, 0 deletions

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; }