import new upstream nautilus stable release 14.2.8

[ceph.git] / ceph / src / boost / libs / hana / test / type / template.cpp

diff --git a/ceph/src/boost/libs/hana/test/type/template.cpp b/ceph/src/boost/libs/hana/test/type/template.cpp
index a5d7142d62055ca6129489240e09cca56d582ed5..6b35d35e7376bbf8fa7173193e0c2294dd99e0c5 100644 (file)
--- a/ceph/src/boost/libs/hana/test/type/template.cpp
+++ b/ceph/src/boost/libs/hana/test/type/template.cpp
@@ -5,6 +5,7 @@
 #include <boost/hana/assert.hpp>
 #include <boost/hana/concept/metafunction.hpp>
 #include <boost/hana/equal.hpp>
+#include <boost/hana/not.hpp>
 #include <boost/hana/type.hpp>
 
 #include <type_traits>
@@ -46,6 +47,11 @@ static_assert(hana::Metafunction<decltype(hana::template_<f>)&>::value, "");
 template <typename T> using alias = T;
 static_assert(hana::template_<alias>(hana::type_c<x1>) == hana::type_c<x1>, "");
 
+// Make sure template_ is SFINAE-friendly
+template <typename T> struct unary;
+BOOST_HANA_CONSTANT_CHECK(hana::not_(
+    hana::is_valid(hana::template_<unary>)(hana::type_c<void>, hana::type_c<void>)
+));
 
 // Make sure we don't read from a non-constexpr variable
 int main() {