From 21eed3fd59a70e1a5bfc49ada578572f506bfe89 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Sat, 2 May 2020 02:25:15 +0300
Subject: [PATCH] Update is_trivially_copyable to also check
 has_trivial_destructor in the fallback case

---
 include/boost/endian/detail/is_trivially_copyable.hpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/include/boost/endian/detail/is_trivially_copyable.hpp b/include/boost/endian/detail/is_trivially_copyable.hpp
index 334cd46..b34f948 100644
--- a/include/boost/endian/detail/is_trivially_copyable.hpp
+++ b/include/boost/endian/detail/is_trivially_copyable.hpp
@@ -9,6 +9,7 @@
 #include <boost/config.hpp>
 #include <boost/type_traits/has_trivial_copy.hpp>
 #include <boost/type_traits/has_trivial_assign.hpp>
+#include <boost/type_traits/has_trivial_destructor.hpp>
 
 #if !defined(BOOST_NO_CXX11_HDR_TYPE_TRAITS)
 # include <type_traits>
@@ -28,7 +29,7 @@ using std::is_trivially_copyable;
 #else
 
 template<class T> struct is_trivially_copyable: boost::integral_constant<bool,
-    boost::has_trivial_copy<T>::value && boost::has_trivial_assign<T>::value> {};
+    boost::has_trivial_copy<T>::value && boost::has_trivial_assign<T>::value && boost::has_trivial_destructor<T>::value> {};
 
 #endif