From 5682cb422c39eea6b4d5d54c2f31260785dc256f Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Mon, 4 Nov 2024 13:19:11 +0100
Subject: Start work on span

---
 asl/tests/span_tests.cpp | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 asl/tests/span_tests.cpp

(limited to 'asl/tests')

diff --git a/asl/tests/span_tests.cpp b/asl/tests/span_tests.cpp
new file mode 100644
index 0000000..276d50a
--- /dev/null
+++ b/asl/tests/span_tests.cpp
@@ -0,0 +1,28 @@
+#include "asl/span.hpp"
+#include "asl/testing/testing.hpp"
+#include "asl/tests/test_types.hpp"
+
+static_assert(asl::trivially_destructible<asl::span<int>>);
+static_assert(asl::trivially_destructible<asl::span<HasDestructor>>);
+
+static_assert(asl::trivially_copyable<asl::span<int>>);
+static_assert(asl::trivially_copyable<asl::span<NonCopyConstructible>>);
+
+static_assert(asl::size_of<asl::span<int>> == asl::size_of<void*> * 2);
+static_assert(asl::size_of<asl::span<int, 2>> == asl::size_of<void*>);
+
+ASL_TEST(empty_dynamic)
+{
+    asl::span<int> s;
+    ASL_TEST_EXPECT(s.size() == 0);
+    ASL_TEST_EXPECT(s.size_bytes() == 0);
+    ASL_TEST_EXPECT(s.is_empty());
+}
+
+ASL_TEST(empty_static)
+{
+    asl::span<int, 0> s;
+    ASL_TEST_EXPECT(s.size() == 0);
+    ASL_TEST_EXPECT(s.size_bytes() == 0);
+    ASL_TEST_EXPECT(s.is_empty());
+}
-- 
cgit