1 files changed, 10 insertions, 0 deletions
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>>);
+