types/tagged: change requirements to trivially copyable+destructible

We don't care about constructible given we do that ourselves internally.
This commit is contained in:
Danny Robson 2019-07-15 14:34:55 +10:00
parent 4033ec7df1
commit 07b1b04abc

View File

@ -46,7 +46,8 @@ namespace cruft {
/// All child types must be trivial, given we provide limited
/// construction and destruction support.
static_assert ((std::is_trivial_v<ValueT> && ...));
static_assert ((std::is_trivially_copyable_v<ValueT> && ...));
static_assert ((std::is_trivially_destructible_v<ValueT> && ...));
//---------------------------------------------------------------------