Test output: teeks99-09-v16d-64onAMD64 - hana - test~logical / msvc-14.2
Rev c8d0b32583c2fa3266edf88cd8ccb32312feae17 / Wed, 20 Nov 2024 12:42:36 +0000
Compile [2024-11-20 19:16:47 UTC]: fail


    call "C:\teeks99-09\run\results\boost\bin.v2\standalone\msvc\msvc-14.2\msvc-setup.bat"  >nul
 cl /Zm800 -nologo "..\libs\hana\test\logical.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~logical.test\msvc-14.2\dbg\x86_6\dbg-symbl-off\thrd-mlt\logical.obj"     -TP /wd4675 /EHs /GR /Zc:throwingNew /Od /Ob0 /W3 /MDd /Zc:forScope /Zc:wchar_t /Zc:inline /favor:blend -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1 "-I.." "-I..\libs\hana\include" "-I..\libs\hana\test\_include" 

logical.cpp
..\libs\hana\test\logical.cpp(48): warning C4267: 'argument': conversion from 'size_t' to '_Ty', possible loss of data
        with
        [
            _Ty=int
        ]
..\boost/hana/while.hpp(59): note: see reference to function template instantiation 'auto main::<lambda_da13f6921166978c567a1ca32e9ed1f8>::operator ()<State>(State) const' being compiled
        with
        [
            State=std::vector<int,std::allocator<int>>
        ]
..\libs\hana\test\logical.cpp(55): note: see reference to function template instantiation 'decltype(auto) boost::hana::while_t::operator ()<main::<lambda_b134c51b007aa958f05eb7cdac0e39e3>::()::<lambda_704e7fc54ff209fba9fa2085f574907c>,std::vector<int,std::allocator<int>>,main::<lambda_da13f6921166978c567a1ca32e9ed1f8>&>(Pred &&,State &&,F) const' being compiled
        with
        [
            Pred=main::<lambda_b134c51b007aa958f05eb7cdac0e39e3>::()::<lambda_704e7fc54ff209fba9fa2085f574907c>,
            State=std::vector<int,std::allocator<int>>,
            F=main::<lambda_da13f6921166978c567a1ca32e9ed1f8> &
        ]
..\boost/hana/eval_if.hpp(60): error C2446: ':': no conversion from 'const boost::hana::integral_constant<bool,false>' to 'const boost::hana::integral_constant<bool,true>'
..\boost/hana/eval_if.hpp(60): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'auto boost::hana::eval_if_impl<L,boost::hana::when<true>>::apply<E,Then,Else>(const Cond &,T &&,boost::hana::detail::hold<const boost::hana::integral_constant<bool,false>&> &&)' being compiled
        with
        [
            L=bool,
            E=bool,
            Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
            Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>,
            Cond=bool,
            T=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>
        ]
..\boost/hana/if.hpp(56): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<E&,boost::hana::detail::hold<T>,boost::hana::detail::hold<const boost::hana::integral_constant<bool,false>&>>(Cond,Then &&,Else &&) const' being compiled
        with
        [
            E=bool,
            T=const boost::hana::integral_constant<bool,true> &,
            Cond=bool &,
            Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
            Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>
        ]
..\boost/hana/if.hpp(37): note: see reference to function template instantiation 'auto boost::hana::if_impl<L,boost::hana::when<true>>::apply<E&,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(C,T,const boost::hana::integral_constant<bool,false>&)' being compiled
        with
        [
            L=Bool,
            E=bool,
            C=bool &,
            T=const boost::hana::integral_constant<bool,true> &
        ]
..\libs\hana\test\_include\laws/logical.hpp(45): note: see reference to function template instantiation 'decltype(auto) boost::hana::if_t::operator ()<E&,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(Cond,Then,Else) const' being compiled
        with
        [
            E=bool,
            Cond=bool &,
            Then=const boost::hana::integral_constant<bool,true> &,
            Else=const boost::hana::integral_constant<bool,false> &
        ]
..\libs\hana\test\_include\laws/logical.hpp(102): note: see reference to function template instantiation 'auto boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>::()::<lambda_c52ad74f0d39df7e9bc96bae907a7c16>::operator ()<E>(E) const' being compiled
        with
        [
            L=bool,
            E=bool
        ]
..\boost/hana/functional/partial.hpp(81): note: see reference to function template instantiation 'auto boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>::operator ()<V,bool,bool,bool>(V,bool,bool,bool) const' being compiled
        with
        [
            L=bool,
            V=boost::hana::tuple<bool,bool>
        ]
..\boost/hana/functional/partial.hpp(81): note: see reference to function template instantiation 'decltype(auto) boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>::operator ()<const V&,const V&,const V&>(const V &,const V &,const V &) const &' being compiled
        with
        [
            L=bool,
            V=bool
        ]
..\boost/hana/functional/partial.hpp(81): note: see reference to function template instantiation 'decltype(auto) boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>::operator ()<const V&,const V&>(const V &,const V &) const &' being compiled
        with
        [
            L=bool,
            V=bool
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'decltype(auto) boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>::operator ()<const V&>(const V &) const &' being compiled
        with
        [
            L=bool,
            V=bool
        ]
..\boost/hana/basic_tuple.hpp(119): note: see reference to function template instantiation 'void boost::hana::detail::on_each<const F *>::operator ()<const V&,const V&>(const V &,const V &) const' being compiled
        with
        [
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>,
            V=bool
        ]
..\boost/hana/basic_tuple.hpp(115): note: see reference to function template instantiation 'void boost::hana::detail::on_each<const F *>::operator ()<const V&,const V&>(const V &,const V &) const' being compiled
        with
        [
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>,
            V=bool
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::basic_tuple_tag,void>::apply<0,1,bool,bool,F>(const boost::hana::detail::basic_tuple_impl<std::integer_sequence<size_t,0,1>,bool,bool> &,F &&)' being compiled
        with
        [
            F=boost::hana::detail::on_each<const boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool> *>
        ]
..\boost/hana/tuple.hpp(233): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<const boost::hana::basic_tuple<bool,bool>&,F>(Xs,F &&) const' being compiled
        with
        [
            F=boost::hana::detail::on_each<const boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool> *>,
            Xs=const boost::hana::basic_tuple<bool,bool> &
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::tuple_tag,void>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::detail::on_each<const boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool> *>
        ]
..\boost/hana/for_each.hpp(57): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<const Xs&,boost::hana::detail::on_each<const F *>>(const boost::hana::tuple<bool,bool>&,boost::hana::detail::on_each<const F *> &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>
        ]
..\boost/hana/for_each.hpp(35): note: see reference to function template instantiation 'void boost::hana::for_each_impl<T,boost::hana::when<true>>::apply<const Xs&,const F&>(const boost::hana::tuple<bool,bool>&,const boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>,
            L=bool
        ]
..\boost/hana/for_each.hpp(35): note: see reference to function template instantiation 'void boost::hana::for_each_impl<T,boost::hana::when<true>>::apply<const Xs&,const F&>(const boost::hana::tuple<bool,bool>&,const boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>,
            L=bool
        ]
..\libs\hana\test\_include\laws/base.hpp(57): note: see reference to function template instantiation 'void boost::hana::for_each_t::operator ()<const Xs&,const F&>(const boost::hana::tuple<bool,bool>&,const boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>,
            L=bool
        ]
..\boost/hana/functional/partial.hpp(89): note: see reference to function template instantiation 'void boost::hana::test::for_each_n_t<1>::operator ()<V,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>>(const Xs &,const F &) const' being compiled
        with
        [
            V=boost::hana::tuple<bool,bool>,
            L=bool,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>
        ]
..\boost/hana/functional/compose.hpp(81): note: see reference to function template instantiation 'void boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>::operator ()<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool>>(boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>,bool> &&) &' being compiled
        with
        [
            L=bool
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'void boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>::operator ()<const V&,>(X) &' being compiled
        with
        [
            L=bool,
            V=bool,
            X=const bool &
        ]
..\boost/hana/basic_tuple.hpp(119): note: see reference to function template instantiation 'void boost::hana::detail::on_each<F *>::operator ()<const V&,const V&>(const V &,const V &) const' being compiled
        with
        [
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>,
            V=bool
        ]
..\boost/hana/basic_tuple.hpp(115): note: see reference to function template instantiation 'void boost::hana::detail::on_each<F *>::operator ()<const V&,const V&>(const V &,const V &) const' being compiled
        with
        [
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>,
            V=bool
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::basic_tuple_tag,void>::apply<0,1,bool,bool,F>(const boost::hana::detail::basic_tuple_impl<std::integer_sequence<size_t,0,1>,bool,bool> &,F &&)' being compiled
        with
        [
            F=boost::hana::detail::on_each<boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>> *>
        ]
..\boost/hana/tuple.hpp(233): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<const boost::hana::basic_tuple<bool,bool>&,F>(Xs,F &&) const' being compiled
        with
        [
            F=boost::hana::detail::on_each<boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>> *>,
            Xs=const boost::hana::basic_tuple<bool,bool> &
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::tuple_tag,void>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::detail::on_each<boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>> *>
        ]
..\boost/hana/for_each.hpp(57): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<const Xs&,boost::hana::detail::on_each<F *>>(const boost::hana::tuple<bool,bool>&,boost::hana::detail::on_each<F *> &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>
        ]
..\boost/hana/for_each.hpp(35): note: see reference to function template instantiation 'void boost::hana::for_each_impl<T,boost::hana::when<true>>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>
        ]
..\boost/hana/for_each.hpp(35): note: see reference to function template instantiation 'void boost::hana::for_each_impl<T,boost::hana::when<true>>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>
        ]
..\libs\hana\test\_include\laws/base.hpp(49): note: see reference to function template instantiation 'void boost::hana::for_each_t::operator ()<const Xs&,boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>>(const boost::hana::tuple<bool,bool>&,F &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            L=bool,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<1>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>>
        ]
..\boost/hana/functional/partial.hpp(89): note: see reference to function template instantiation 'void boost::hana::test::for_each_n_t<2>::operator ()<V,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>(const Xs &,const F &) const' being compiled
        with
        [
            V=boost::hana::tuple<bool,bool>,
            L=bool,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>
        ]
..\boost/hana/functional/compose.hpp(81): note: see reference to function template instantiation 'void boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>::operator ()<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool>>(boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>,bool> &&) &' being compiled
        with
        [
            L=bool
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'void boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>::operator ()<const V&,>(X) &' being compiled
        with
        [
            L=bool,
            V=bool,
            X=const bool &
        ]
..\boost/hana/basic_tuple.hpp(119): note: see reference to function template instantiation 'void boost::hana::detail::on_each<F *>::operator ()<const V&,const V&>(const V &,const V &) const' being compiled
        with
        [
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>,
            V=bool
        ]
..\boost/hana/basic_tuple.hpp(115): note: see reference to function template instantiation 'void boost::hana::detail::on_each<F *>::operator ()<const V&,const V&>(const V &,const V &) const' being compiled
        with
        [
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>,
            V=bool
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::basic_tuple_tag,void>::apply<0,1,bool,bool,F>(const boost::hana::detail::basic_tuple_impl<std::integer_sequence<size_t,0,1>,bool,bool> &,F &&)' being compiled
        with
        [
            F=boost::hana::detail::on_each<boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>> *>
        ]
..\boost/hana/tuple.hpp(233): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<const boost::hana::basic_tuple<bool,bool>&,F>(Xs,F &&) const' being compiled
        with
        [
            F=boost::hana::detail::on_each<boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>> *>,
            Xs=const boost::hana::basic_tuple<bool,bool> &
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::tuple_tag,void>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::detail::on_each<boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>> *>
        ]
..\boost/hana/for_each.hpp(57): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<const Xs&,boost::hana::detail::on_each<F *>>(const boost::hana::tuple<bool,bool>&,boost::hana::detail::on_each<F *> &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>
        ]
..\boost/hana/for_each.hpp(35): note: see reference to function template instantiation 'void boost::hana::for_each_impl<T,boost::hana::when<true>>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>
        ]
..\boost/hana/for_each.hpp(35): note: see reference to function template instantiation 'void boost::hana::for_each_impl<T,boost::hana::when<true>>::apply<const Xs&,F>(const boost::hana::tuple<bool,bool>&,F &&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<bool,bool>,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>
        ]
..\libs\hana\test\_include\laws/base.hpp(49): note: see reference to function template instantiation 'void boost::hana::for_each_t::operator ()<const Xs&,boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>>(const boost::hana::tuple<bool,bool>&,F &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            L=bool,
            F=boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::for_each_n_t<2>,boost::hana::tuple<bool,bool>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::make_partial_t,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>>
        ]
..\libs\hana\test\_include\laws/logical.hpp(105): note: see reference to function template instantiation 'void boost::hana::test::for_each_n_t<3>::operator ()<Xs,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>>(const Xs &,const F &) const' being compiled
        with
        [
            Xs=boost::hana::tuple<bool,bool>,
            L=bool,
            F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::test::TestLogical<bool,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>,boost::hana::tuple<bool,bool>>
        ]
..\libs\hana\test\logical.cpp(85): note: see reference to function template instantiation 'boost::hana::test::TestLogical<L,boost::hana::test::laws>::TestLogical<boost::hana::tuple<bool,bool>>(Xs)' being compiled
        with
        [
            L=bool,
            Xs=boost::hana::tuple<bool,bool>
        ]
..\libs\hana\test\logical.cpp(85): note: see reference to function template instantiation 'boost::hana::test::TestLogical<L,boost::hana::test::laws>::TestLogical<boost::hana::tuple<bool,bool>>(Xs)' being compiled
        with
        [
            L=bool,
            Xs=boost::hana::tuple<bool,bool>
        ]
..\libs\hana\test\logical.cpp(21): note: see reference to function template instantiation 'boost::hana::test::TestLogical<bool,boost::hana::when<true>>::TestLogical<boost::hana::tuple<bool,bool>>(boost::hana::tuple<bool,bool>)' being compiled
..\libs\hana\test\logical.cpp(21): note: see reference to function template instantiation 'boost::hana::test::TestLogical<bool,boost::hana::when<true>>::TestLogical<boost::hana::tuple<bool,bool>>(boost::hana::tuple<bool,bool>)' being compiled
..\libs\hana\test\_include\laws/logical.hpp(102): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/logical.hpp(102): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/logical.hpp(102): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/eval_if.hpp(60): error C2446: ':': no conversion from 'const boost::hana::integral_constant<bool,true>' to 'const boost::hana::integral_constant<bool,false>'
..\boost/hana/eval_if.hpp(60): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'auto boost::hana::eval_if_impl<L,boost::hana::when<true>>::apply<V,Then,Else>(const Cond &,T &&,E &&)' being compiled
        with
        [
            L=bool,
            V=bool,
            Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>,
            Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
            Cond=bool,
            T=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>,
            E=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>
        ]
..\boost/hana/if.hpp(56): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<V&,boost::hana::detail::hold<E>,boost::hana::detail::hold<T>>(Cond,Then &&,Else &&) const' being compiled
        with
        [
            V=bool,
            E=const boost::hana::integral_constant<bool,false> &,
            T=const boost::hana::integral_constant<bool,true> &,
            Cond=bool &,
            Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>,
            Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>
        ]
..\boost/hana/if.hpp(37): note: see reference to function template instantiation 'auto boost::hana::if_impl<L,boost::hana::when<true>>::apply<V&,const boost::hana::integral_constant<bool,false>&,const boost::hana::integral_constant<bool,true>&>(C,T,E)' being compiled
        with
        [
            L=Bool,
            V=bool,
            C=bool &,
            T=const boost::hana::integral_constant<bool,false> &,
            E=const boost::hana::integral_constant<bool,true> &
        ]
..\libs\hana\test\_include\laws/logical.hpp(48): note: see reference to function template instantiation 'decltype(auto) boost::hana::if_t::operator ()<V&,const boost::hana::integral_constant<bool,false>&,const boost::hana::integral_constant<bool,true>&>(Cond,Then,Else) const' being compiled
        with
        [
            V=bool,
            Cond=bool &,
            Then=const boost::hana::integral_constant<bool,false> &,
            Else=const boost::hana::integral_constant<bool,true> &
        ]
..\libs\hana\test\_include\laws/logical.hpp(103): note: see reference to function template instantiation 'auto boost::hana::test::TestLogical<L,boost::hana::test::laws>::{ctor}::<lambda_2d4ac5d03cb292b0a7909bb2b0efc9b9>::()::<lambda_d4d905aa277b2ca81c5cf56b68948230>::operator ()<V>(V) const' being compiled
        with
        [
            L=bool,
            V=bool
        ]
..\libs\hana\test\_include\laws/logical.hpp(103): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/logical.hpp(103): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/logical.hpp(103): error C3539: a template-argument cannot be a type that contains 'auto'