Visual C++ 8.0

BOOST_STATIC_ASSERT

..\main.cpp(89) : error C2027: use of undefined type 'boost::STATIC_ASSERTION_FAILURE<x>'
        with
        [
            x=false
        ]
..\main.cpp(150) : error C2027: use of undefined type 'boost::STATIC_ASSERTION_FAILURE<x>'
        with
        [
            x=false
        ]
        ..\main.cpp(158) : see reference to class template instantiation 'tests::class_scope<iterator_>' being compiled
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]

BOOST_MPL_ASSERT

..\main.cpp(90) : error C2664: 'boost::mpl::assertion_failed' : cannot convert parameter 1 from 'boost::mpl::failed ************tests::bool_value<value_>::* ***********' to 'boost::mpl::assert<false>::type'
        with
        [
            value_=false
        ]
        No constructor could take the source type, or constructor overload resolution was ambiguous
..\main.cpp(90) : error C2056: illegal expression
..\main.cpp(151) : error C2664: 'boost::mpl::assertion_failed' : cannot convert parameter 1 from 'boost::mpl::failed ************tests::is_random_access<category_>::* ***********' to 'boost::mpl::assert<false>::type'
        with
        [
            category_=std::bidirectional_iterator_tag
        ]
        No constructor could take the source type, or constructor overload resolution was ambiguous
        ..\main.cpp(158) : see reference to class template instantiation 'tests::class_scope<iterator_>' being compiled
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]
..\main.cpp(151) : error C2056: illegal expression

BOOST_MPL_ASSERT_MSG

..\main.cpp(91) : error C2664: 'boost::mpl::assertion_failed' : cannot convert parameter 1 from 'boost::mpl::failed ************(__thiscall tests::NAMESPACE_ASSERT::* ***********)(int)' to 'boost::mpl::assert<false>::type'
        No constructor could take the source type, or constructor overload resolution was ambiguous
..\main.cpp(91) : error C2056: illegal expression
..\main.cpp(152) : error C2664: 'boost::mpl::assertion_failed' : cannot convert parameter 1 from 'boost::mpl::failed ************(__thiscall tests::class_scope<iterator_>::NOT_RANDOM_ACCESS::* ***********)(iterator_,std::bidirectional_iterator_tag)' to 'boost::mpl::assert<false>::type'
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]
        No constructor could take the source type, or constructor overload resolution was ambiguous
        ..\main.cpp(158) : see reference to class template instantiation 'tests::class_scope<iterator_>' being compiled
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]
..\main.cpp(152) : error C2056: illegal expression

kuodo::types::assert

..\main.cpp(92) : error C2039: 'assert' : is not a member of 'kuodo::types::assertion<false>'
        c:\mina dokument\c++\test\terminal\assert.hpp(14) : see declaration of 'kuodo::types::assertion<false>'
..\main.cpp(92) : error C2975: 'kuodo::types::assert' : invalid template argument for 'assert_', expected compile-time constant expression
        c:\mina dokument\c++\test\terminal\assert.hpp(32) : see declaration of 'kuodo::types::assert'
..\main.cpp(153) : error C2039: 'assert' : is not a member of 'kuodo::types::assertion<false>'
        c:\mina dokument\c++\test\terminal\assert.hpp(14) : see declaration of 'kuodo::types::assertion<false>'
        ..\main.cpp(158) : see reference to class template instantiation 'tests::class_scope<iterator_>' being compiled
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]
..\main.cpp(153) : error C2975: 'kuodo::types::assert' : invalid template argument for 'assert_', expected compile-time constant expression
        c:\mina dokument\c++\test\terminal\assert.hpp(32) : see declaration of 'kuodo::types::assert'

kuodo::types::type_assert

..\main.cpp(93) : error C2039: 'assert' : is not a member of 'tests::namespace_assert<type_>'
        with
        [
            type_=int
        ]
..\main.cpp(93) : error C2975: 'kuodo::types::type_assert' : invalid template argument for 'assert_', expected compile-time constant expression
        c:\mina dokument\c++\test\terminal\assert.hpp(57) : see declaration of 'kuodo::types::type_assert'
..\main.cpp(154) : error C2039: 'assert' : is not a member of 'tests::class_scope<iterator_>::not_random_access<category_>'
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]
        and
        [
            category_=std::bidirectional_iterator_tag
        ]
        ..\main.cpp(158) : see reference to class template instantiation 'tests::class_scope<iterator_>' being compiled
        with
        [
            iterator_=std::list<int>::_Iterator<true>
        ]
..\main.cpp(154) : error C2975: 'kuodo::types::type_assert' : invalid template argument for 'assert_', expected compile-time constant expression
        c:\mina dokument\c++\test\terminal\assert.hpp(57) : see declaration of 'kuodo::types::type_assert'