update sources to v12.2.3

[ceph.git] / ceph / src / boost / libs / hana / test / pair / empty_storage.cpp

diff --git a/ceph/src/boost/libs/hana/test/pair/empty_storage.cpp b/ceph/src/boost/libs/hana/test/pair/empty_storage.cpp
index 778e63dc718ffe84eaf8c6a43cd1606503d52467..cdea66cb997f4c229272c6e6eaa48ce692f02854 100644 (file)
--- a/ceph/src/boost/libs/hana/test/pair/empty_storage.cpp
+++ b/ceph/src/boost/libs/hana/test/pair/empty_storage.cpp
@@ -1,8 +1,10 @@
-// Copyright Louis Dionne 2013-2016
+// Copyright Louis Dionne 2013-2017
 // Distributed under the Boost Software License, Version 1.0.
 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
 
 #include <boost/hana/pair.hpp>
+
+#include <type_traits>
 namespace hana = boost::hana;
 
 
@@ -11,4 +13,11 @@ struct empty { };
 static_assert(sizeof(hana::pair<empty, int>) == sizeof(int), "");
 static_assert(sizeof(hana::pair<int, empty>) == sizeof(int), "");
 
+// Also make sure that a pair with only empty members is empty too. This is
+// important to ensure, for example, that a tuple of pairs of empty objects
+// will get the EBO.
+struct empty1 { };
+struct empty2 { };
+static_assert(std::is_empty<hana::pair<empty1, empty2>>{}, "");
+
 int main() { }