Some work on maybe_uninit & option

1 files changed, 8 insertions, 1 deletions

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;

+}