summaryrefslogtreecommitdiff
path: root/asl/tests/maybe_uninit_tests.cpp
blob: 3f60558b11a057afaa0c789e38e821f72c9e46ab (plain)
1
2
3
4
5
6
7
8
9
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>>);