diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-10-16 22:54:34 +0200 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-12-20 15:35:58 +0100 |
| commit | 8c95db33be58a545dd2e030428bded0bd958c4b6 (patch) | |
| tree | b78809fae2cec5eb2b9513b4960bfbbd697f3871 /asl/tests/maybe_uninit_tests.cpp | |
| parent | 7193114b152d3a5b714a22f54ed89950c0ba9aba (diff) | |
Start work on the testing framework
Diffstat (limited to 'asl/tests/maybe_uninit_tests.cpp')
| -rw-r--r-- | asl/tests/maybe_uninit_tests.cpp | 10 |
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>>);
+
|