diff --git a/types/tagged.hpp b/types/tagged.hpp index c106de4d..03b4c590 100644 --- a/types/tagged.hpp +++ b/types/tagged.hpp @@ -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 && ...)); + static_assert ((std::is_trivially_copyable_v && ...)); + static_assert ((std::is_trivially_destructible_v && ...)); //---------------------------------------------------------------------