boostorg/concept_check
1
0
Fork 1
mirror of https://github.com/boostorg/concept_check.git synced 2025-07-31 21:14:48 +02:00
Code Issues Packages Projects Releases Wiki Activity

use idiomatic convertibility assertions.

Browse Source 
[SVN r33869]
This commit is contained in:
Dave Abrahams
2006-04-30 03:33:33 +00:00
parent 3c2a976d2a
commit 3bce136d94
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
include/boost/concept_check.hpp
View File

@@ -418,7 +418,7 @@ namespace boost
~AdaptableGeneratorConcept()
{
BOOST_MPL_ASSERT((is_convertible<result_type, Return>));
BOOST_CONCEPT_ASSERT((ConvertibleConcept<result_type, Return>));
}
};
@@ -431,8 +431,8 @@ namespace boost
~AdaptableUnaryFunctionConcept()
{
BOOST_MPL_ASSERT((is_convertible<result_type, Return>));
BOOST_MPL_ASSERT((is_convertible<Arg, argument_type>));
BOOST_CONCEPT_ASSERT((ConvertibleConcept<result_type, Return>));
BOOST_CONCEPT_ASSERT((ConvertibleConcept<Arg, argument_type>));
}
};
@@ -451,9 +451,9 @@ namespace boost
~AdaptableBinaryFunctionConcept()
{
BOOST_MPL_ASSERT((is_convertible<result_type, Return>));
BOOST_MPL_ASSERT((is_convertible<First, first_argument_type>));
BOOST_MPL_ASSERT((is_convertible<Second, second_argument_type>));
BOOST_CONCEPT_ASSERT((ConvertibleConcept<result_type, Return>));
BOOST_CONCEPT_ASSERT((ConvertibleConcept<First, first_argument_type>));
BOOST_CONCEPT_ASSERT((ConvertibleConcept<Second, second_argument_type>));
}
};