1 /*! 2 @file 3 Defines `boost::hana::detail::wrong`. 4 5 @copyright Louis Dionne 2013-2017 6 Distributed under the Boost Software License, Version 1.0. 7 (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) 8 */ 9 10 #ifndef BOOST_HANA_DETAIL_WRONG_HPP 11 #define BOOST_HANA_DETAIL_WRONG_HPP 12 13 #include <boost/hana/config.hpp> 14 15 #include <type_traits> 16 17 18 BOOST_HANA_NAMESPACE_BEGIN namespace detail { 19 //! @ingroup group-detail 20 //! Equivalent to a type-dependent `std::false_type`. 21 //! 22 //! This is useful for making a static assertion that would otherwise 23 //! always fire up dependent on some template parameters. 24 //! 25 //! 26 //! Example 27 //! ------- 28 //! @include example/detail/wrong.cpp 29 template <typename ...> 30 struct wrong : std::false_type { }; 31 } BOOST_HANA_NAMESPACE_END 32 33 #endif // !BOOST_HANA_DETAIL_WRONG_HPP 34