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/option_tests.cpp | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'asl/option_tests.cpp')

diff --git a/asl/option_tests.cpp b/asl/option_tests.cpp
index 41c67e1..ff63e1a 100644
--- a/asl/option_tests.cpp
+++ b/asl/option_tests.cpp
@@ -1,3 +1,12 @@
 #include "asl/option.hpp"
+#include "asl/test_types.hpp"
 
-int main() { return 0; }
+static_assert(asl::trivially_destructible<asl::option<TriviallyDestructible>>);
+static_assert(!asl::trivially_destructible<asl::option<HasDestructor>>);
+
+int main()
+{
+    asl::option<HasDestructor> a;
+    asl::option<TriviallyDestructible> b;
+    return 0;
+}
-- 
cgit