From 07b1b04abc919db66240f01c9a646c652b2db580 Mon Sep 17 00:00:00 2001 From: Danny Robson Date: Mon, 15 Jul 2019 14:34:55 +1000 Subject: [PATCH] types/tagged: change requirements to trivially copyable+destructible We don't care about constructible given we do that ourselves internally. --- types/tagged.hpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 && ...)); //---------------------------------------------------------------------