From 8c95db33be58a545dd2e030428bded0bd958c4b6 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Wed, 16 Oct 2024 22:54:34 +0200
Subject: Start work on the testing framework

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

(limited to 'asl/tests/maybe_uninit_tests.cpp')

diff --git a/asl/tests/maybe_uninit_tests.cpp b/asl/tests/maybe_uninit_tests.cpp
new file mode 100644
index 0000000..3f60558
--- /dev/null
+++ b/asl/tests/maybe_uninit_tests.cpp
@@ -0,0 +1,10 @@
+#include "asl/maybe_uninit.hpp"
+#include "asl/tests/test_types.hpp"
+
+static_assert(asl::layout::of<int>() == asl::layout::of<asl::maybe_uninit<int>>());
+static_assert(asl::size_of<int> == asl::size_of<asl::maybe_uninit<int>>);
+static_assert(asl::align_of<int> == asl::align_of<asl::maybe_uninit<int>>);
+
+static_assert(asl::trivially_destructible<asl::maybe_uninit<TriviallyDestructible>>);
+static_assert(!asl::trivially_destructible<asl::maybe_uninit<HasDestructor>>);
+
-- 
cgit