Chris@16: // Copyright David Abrahams 2006. Distributed under the Boost
Chris@16: // Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: #ifndef BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
Chris@16: # define BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
Chris@16: 
Chris@16: namespace boost {
Chris@16: 
Chris@16: template <class ModelFn>
Chris@16: struct concept_check;
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct concept_check<void(*)(Model)>
Chris@16: {
Chris@16:     enum { instantiate = sizeof((((Model*)0)->~Model()), 3) };
Chris@16: };
Chris@16: 
Chris@16: #  define BOOST_CONCEPT_ASSERT( ModelInParens )                     \
Chris@16:   enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =               \
Chris@16:          boost::concept_check<void(*)ModelInParens>::instantiate    \
Chris@16:   }
Chris@16: 
Chris@16: } // namespace boost::concept_checking
Chris@16: 
Chris@16: #endif // BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP