1 files changed, 58 insertions, 0 deletions
diff --git a/src/boost/libs/type_erasure/test/test_sfinae.cpp b/src/boost/libs/type_erasure/test/test_sfinae.cpp
new file mode 100644
index 000000000..28f250ea9
--- /dev/null
+++ b/src/boost/libs/type_erasure/test/test_sfinae.cpp
@@ -0,0 +1,58 @@
+// Boost.TypeErasure library
+//
+// Copyright 2011 Steven Watanabe
+//
+// Distributed under the Boost Software License Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+// $Id$
+
+#include <boost/type_erasure/any.hpp>
+#include <boost/type_erasure/builtin.hpp>
+#include <boost/type_traits/is_constructible.hpp>
+#include <boost/type_traits/is_copy_constructible.hpp>
+#include <boost/mpl/vector.hpp>
+#include <boost/mpl/assert.hpp>
+
+using namespace boost::type_erasure;
+
+#if defined(BOOST_TYPE_ERASURE_SFINAE_FRIENDLY_CONSTRUCTORS)
+
+using boost::is_copy_constructible;
+
+template<class T>
+using is_move_constructible = boost::is_constructible<T, T&&>;
+
+template<class T>
+using is_mutable_constructible = boost::is_constructible<T, T&>;
+
+using move_constructible = boost::mpl::vector<constructible<_self(_self&&)>, destructible<> >;
+using mutable_copy = boost::mpl::vector<constructible<_self(_self&)>, destructible<> >;
+
+BOOST_MPL_ASSERT_NOT((is_copy_constructible<any<destructible<> > >));
+BOOST_MPL_ASSERT((is_copy_constructible<any<copy_constructible<> > >));
+BOOST_MPL_ASSERT_NOT((is_copy_constructible<any<move_constructible> >));
+
+// only is_copy_constructible seems to work on msvc and
+// even that breaks when we add a non-const copy constructor.
+#if !BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1912)) && \
+    !BOOST_WORKAROUND(BOOST_GCC, < 70000) && \
+    !BOOST_WORKAROUND(__clang__major__, < 4)
+
+BOOST_MPL_ASSERT_NOT((is_mutable_constructible<any<destructible<> > >));
+BOOST_MPL_ASSERT_NOT((is_move_constructible<any<destructible<> > >));
+
+BOOST_MPL_ASSERT((is_mutable_constructible<any<copy_constructible<> > >));
+BOOST_MPL_ASSERT((is_move_constructible<any<copy_constructible<> > >));
+
+BOOST_MPL_ASSERT_NOT((is_mutable_constructible<any<move_constructible> >));
+BOOST_MPL_ASSERT((is_move_constructible<any<move_constructible> >));
+
+BOOST_MPL_ASSERT((is_mutable_constructible<any<mutable_copy> >));
+BOOST_MPL_ASSERT_NOT((is_copy_constructible<any<mutable_copy> >));
+BOOST_MPL_ASSERT_NOT((is_move_constructible<any<mutable_copy> >));
+
+#endif
+
+#endif