CodeWarrior 10.0 (Mac)

BOOST_STATIC_ASSERT

Error   : illegal use of incomplete struct/union/class 'boost::STATIC_ASSERTION_FAILURE<false>'
main.cpp line 89    (bool)( namespace_assert_if ) >)> BOOST_JOIN(boost_static_assert_typedef_, __LINE__);

Error   : illegal use of incomplete struct/union/class 'boost::STATIC_ASSERTION_FAILURE<false>'
(point of instantiation: 'global scope')
  (instantiating: 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 150   SERT_BOOST_STATIC_ASSERT(is_random_access<category_type>::value);

    (corresponding point of instantiation for 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 158    class_scope<std::list<int>::iterator> use_class_scope;

BOOST_MPL_ASSERT

Error   : function call 'assertion_failed(boost::mpl::failed ************tests::bool_value<false>::************)' does not match
'boost::mpl::assertion_failed<bool>(boost::mpl::assert<__T0>::type)'
main.cpp line 90    ue<namespace_assert_if>))0, 1 ) ) ) };

Error   : function call 'assertion_failed(boost::mpl::failed ************tests::is_random_access<std::bidirectional_iterator_tag>::************)' does not match
'boost::mpl::assertion_failed<bool>(boost::mpl::assert<__T0>::type)'
(point of instantiation: 'global scope')
  (instantiating: 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 151     ASSERT_BOOST_MPL_ASSERT((is_random_access<category_type>));

    (corresponding point of instantiation for 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 158    class_scope<std::list<int>::iterator> use_class_scope;

BOOST_MPL_ASSERT_MSG

Error   : illegal implicit conversion from 'boost::mpl::failed ************ (tests::NAMESPACE_ASSERT::************)(void *const , int)' to
'boost::mpl::assert<false>'
main.cpp line 91    ert_arg,__LINE__)::assert_arg() ) ) };

Error   : illegal implicit conversion from 'boost::mpl::failed ************ (tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>::NOT_RANDOM_ACCESS::************)(void *const , std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>, std::bidirectional_iterator_tag)' to
'boost::mpl::assert<false>'
(point of instantiation: 'global scope')
  (instantiating: 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 152     ASSERT_BOOST_MPL_ASSERT_MSG((is_random_access<category_type>::value), NOT_RANDOM_ACCESS, (iterator_, category_type));

    (corresponding point of instantiation for 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 158    class_scope<std::list<int>::iterator> use_class_scope;

kuodo::types::assert

Error   : 'assert' is not a member of class 'kuodo::types::assertion<false>'
main.cpp line 92    typedef assert<namespace_assert_if> assert_1;

Error   : 'assert' is not a member of class 'kuodo::types::assertion<false>'
(point of instantiation: 'global scope')
  (instantiating: 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 153    typedef assert<is_random_access<category_type>::value> assert_1;

    (corresponding point of instantiation for 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 158    class_scope<std::list<int>::iterator> use_class_scope;

kuodo::types::type_assert

Error   : 'assert' is not a member of class 'tests::namespace_assert<int>'
main.cpp line 93    typedef type_assert<namespace_assert<int> > assert_2;

Error   : 'assert' is not a member of class 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>::not_random_access<std::bidirectional_iterator_tag>'
(point of instantiation: 'global scope')
  (instantiating: 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 154    typedef type_assert<not_random_access<category_type> > assert_2;

    (corresponding point of instantiation for 'tests::class_scope<std::__list_deleter<int, std::allocator<int>>::generic_iterator<false>>')
main.cpp line 158    class_scope<std::list<int>::iterator> use_class_scope;