From 0f2d186fbd4cc637a359b1d62370174aebd2b80f Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Tue, 1 Oct 2024 23:38:01 +0200
Subject: Some work on maybe_uninit & option

---
 asl/maybe_uninit_tests.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'asl/maybe_uninit_tests.cpp')

diff --git a/asl/maybe_uninit_tests.cpp b/asl/maybe_uninit_tests.cpp
index 7efeff0..7584eea 100644
--- a/asl/maybe_uninit_tests.cpp
+++ b/asl/maybe_uninit_tests.cpp
@@ -1,7 +1,14 @@
 #include "asl/maybe_uninit.hpp"
+#include "asl/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>>);
 
-int main() { return 0; }
+static_assert(asl::trivially_destructible<asl::maybe_uninit<TriviallyDestructible>>);
+static_assert(!asl::trivially_destructible<asl::maybe_uninit<HasDestructor>>);
+
+int main()
+{
+    return 0;
+}
-- 
cgit