Test output: teeks99-09-v15d-64onAMD64 - hana - test~ext~std~array~iterable / msvc-14.1
Rev c8d0b32583c2fa3266edf88cd8ccb32312feae17 / Tue, 19 Nov 2024 21:44:00 +0000
Compile [2024-11-20 04:52:47 UTC]: fail


    call "C:\teeks99-09\run\results\boost\bin.v2\standalone\msvc\msvc-14.1\msvc-setup.bat"  >nul
 cl /Zm800 -nologo "..\libs\hana\test\ext\std\array\iterable.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~ext~std~array~iterable.test\msvc-14.1\dbg\x86_6\dbg-symbl-off\thrd-mlt\ext\std\array\iterable.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" 

iterable.cpp
..\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<Cond,Then,Else>(const Cond &,T &&,E &&)' being compiled
        with
        [
            L=bool,
            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> &>,
            T=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
            E=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>
        ]
..\boost/hana/if.hpp(56): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<C,boost::hana::detail::hold<T>,boost::hana::detail::hold<E>>(Cond &&,Then &&,Else &&) const' being compiled
        with
        [
            C=bool,
            T=const boost::hana::integral_constant<bool,true> &,
            E=const boost::hana::integral_constant<bool,false> &,
            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<Cond,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(C &&,T,E)' being compiled
        with
        [
            L=Bool,
            Cond=bool,
            C=bool,
            T=const boost::hana::integral_constant<bool,true> &,
            E=const boost::hana::integral_constant<bool,false> &
        ]
..\boost/hana/equal.hpp(144): note: see reference to function template instantiation 'decltype(auto) boost::hana::if_t::operator ()<bool,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(Cond &&,Then,Else) const' being compiled
        with
        [
            Cond=bool,
            Then=const boost::hana::integral_constant<bool,true> &,
            Else=const boost::hana::integral_constant<bool,false> &
        ]
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
        with
        [
            Xs=boost::hana::tuple<int>,
            Ys=boost::hana::tuple<int>
        ]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            X=boost::hana::tuple<int>,
            Y=boost::hana::tuple<int>,
            Xs=boost::hana::tuple<int>,
            Ys=boost::hana::tuple<int>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(64): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::tuple<int>,boost::hana::tuple<int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::tuple<int>,
            Y=boost::hana::tuple<int>
        ]
..\boost/hana/lazy.hpp(130): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,2>
        ]
..\boost/hana/eval.hpp(27): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_impl<boost::hana::lazy_tag,void>::apply<0,X,std::array<int,2>>(boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,2>> &)' being compiled
        with
        [
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,
            _Ty=size_t
        ]
..\boost/hana/bool.hpp(237): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_t::operator ()<F&>(Expr) const' being compiled
        with
        [
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>>,
            Expr=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>> &
        ]
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_impl<boost::hana::integral_constant_tag<T>,void>::apply<F&,Else>(const boost::hana::true_ &,Then,Else &&)' being compiled
        with
        [
            T=bool,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>>,
            Else=boost::hana::test::only_when_::<lambda_a59b7e6b0afc25c4dd74fd131d598032>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>> &
        ]
..\libs\hana\test\_include\laws/base.hpp(87): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<Cond&,F&,boost::hana::test::only_when_::<lambda_a59b7e6b0afc25c4dd74fd131d598032>>(boost::hana::integral_constant<bool,true>&,Then,Else &&) const' being compiled
        with
        [
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>> &,
            Else=boost::hana::test::only_when_::<lambda_a59b7e6b0afc25c4dd74fd131d598032>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(76): note: see reference to function template instantiation 'decltype(auto) boost::hana::test::only_when_<boost::hana::integral_constant<bool,true>,boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,2>>>(Cond,F)' being compiled
        with
        [
            _Ty=size_t,
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_1bc390e0f266a222f279161a1fbc8884>,std::array<int,2>>
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,2>
        ]
..\boost/hana/basic_tuple.hpp(129): note: see reference to function template instantiation 'void boost::hana::detail::on_each<F *>::operator ()<V&,std::array<int,1>&,std::array<int,2>&,std::array<int,3>&,std::array<int,4>&,std::array<int,5>&>(V &,std::array<int,1> &,std::array<int,2> &,std::array<int,3> &,std::array<int,4> &,std::array<int,5> &) const' being compiled
        with
        [
            F=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>,
            V=std::array<int,0>
        ]
..\boost/hana/basic_tuple.hpp(125): note: see reference to function template instantiation 'void boost::hana::detail::on_each<F *>::operator ()<V&,std::array<int,1>&,std::array<int,2>&,std::array<int,3>&,std::array<int,4>&,std::array<int,5>&>(V &,std::array<int,1> &,std::array<int,2> &,std::array<int,3> &,std::array<int,4> &,std::array<int,5> &) const' being compiled
        with
        [
            F=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>,
            V=std::array<int,0>
        ]
..\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,2,3,4,5,std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>,F>(boost::hana::detail::basic_tuple_impl<std::integer_sequence<_Ty,0,1,2,3,4,5>,std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>> &,F &&)' being compiled
        with
        [
            F=boost::hana::detail::on_each<boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9> *>,
            _Ty=size_t
        ]
..\boost/hana/tuple.hpp(233): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<boost::hana::basic_tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>&,F>(Xs,F &&) const' being compiled
        with
        [
            F=boost::hana::detail::on_each<boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9> *>,
            Xs=boost::hana::basic_tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>> &
        ]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'void boost::hana::unpack_impl<boost::hana::tuple_tag,void>::apply<Xs&,F>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>&,F &&)' being compiled
        with
        [
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>,
            F=boost::hana::detail::on_each<boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9> *>
        ]
..\boost/hana/for_each.hpp(57): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<Xs&,boost::hana::detail::on_each<F *>>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>&,boost::hana::detail::on_each<F *> &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>,
            F=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>
        ]
..\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<Xs&,F>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>&,F &&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>,
            F=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>
        ]
..\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<Xs&,F>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>&,F &&)' being compiled
        with
        [
            T=S,
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>,
            F=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(120): note: see reference to function template instantiation 'void boost::hana::for_each_t::operator ()<Xs&,boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>&,F &&) const' being compiled
        with
        [
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>,
            It=boost::hana::ext::std::array_tag,
            F=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>
        ]
..\libs\hana\test\ext\std\array\iterable.cpp(84): note: see reference to function template instantiation 'boost::hana::test::TestIterable<It,boost::hana::test::laws>::TestIterable<boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>>(Xs)' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>
        ]
..\libs\hana\test\ext\std\array\iterable.cpp(84): note: see reference to function template instantiation 'boost::hana::test::TestIterable<It,boost::hana::test::laws>::TestIterable<boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>>(Xs)' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            Xs=boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>
        ]
..\libs\hana\test\ext\std\array\iterable.cpp(82): note: see reference to function template instantiation 'boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::when<true>>::TestIterable<boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>)' being compiled
..\libs\hana\test\ext\std\array\iterable.cpp(82): note: see reference to function template instantiation 'boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::when<true>>::TestIterable<boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>>(boost::hana::tuple<std::array<int,0>,std::array<int,1>,std::array<int,2>,std::array<int,3>,std::array<int,4>,std::array<int,5>>)' being compiled
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 1 from 'boost::hana::integral_constant<bool,true>' to 'boost::hana::false_'
        with
        [
            Xs=boost::hana::tuple<int>,
            Ys=boost::hana::tuple<int>
        ]
..\boost/hana/equal.hpp(145): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\libs\hana\test\_include\laws/iterable.hpp(64): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/iterable.hpp(67): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/iterable.hpp(67): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 2 from 'void' to 'boost::hana::true_'
        with
        [
            Xs=boost::hana::tuple<int,int>,
            Ys=boost::hana::tuple<int,int>
        ]
..\boost/hana/equal.hpp(145): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
        with
        [
            Xs=boost::hana::tuple<int,int>,
            Ys=boost::hana::tuple<int,int>
        ]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            X=boost::hana::tuple<int,int>,
            Y=boost::hana::tuple<int,int>,
            Xs=boost::hana::tuple<int,int>,
            Ys=boost::hana::tuple<int,int>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(64): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::tuple<int,int>,boost::hana::tuple<int,int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::tuple<int,int>,
            Y=boost::hana::tuple<int,int>
        ]
..\boost/hana/lazy.hpp(130): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,3>
        ]
..\boost/hana/eval.hpp(27): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_impl<boost::hana::lazy_tag,void>::apply<0,X,std::array<int,3>>(boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,3>> &)' being compiled
        with
        [
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,
            _Ty=size_t
        ]
..\boost/hana/bool.hpp(237): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_t::operator ()<F&>(Expr) const' being compiled
        with
        [
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>>,
            Expr=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>> &
        ]
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_impl<boost::hana::integral_constant_tag<T>,void>::apply<F&,Else>(const boost::hana::true_ &,Then,Else &&)' being compiled
        with
        [
            T=bool,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>>,
            Else=boost::hana::test::only_when_::<lambda_d58f429529a58f413615865e104214be>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>> &
        ]
..\libs\hana\test\_include\laws/base.hpp(87): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<Cond&,F&,boost::hana::test::only_when_::<lambda_d58f429529a58f413615865e104214be>>(boost::hana::integral_constant<bool,true>&,Then,Else &&) const' being compiled
        with
        [
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>> &,
            Else=boost::hana::test::only_when_::<lambda_d58f429529a58f413615865e104214be>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(76): note: see reference to function template instantiation 'decltype(auto) boost::hana::test::only_when_<boost::hana::integral_constant<bool,true>,boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,3>>>(Cond,F)' being compiled
        with
        [
            _Ty=size_t,
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_a8817b33fbbe4f0084d22a885f7210ef>,std::array<int,3>>
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,3>
        ]
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 2 from 'void' to 'boost::hana::true_'
        with
        [
            Xs=boost::hana::tuple<int,int,int>,
            Ys=boost::hana::tuple<int,int,int>
        ]
..\boost/hana/equal.hpp(145): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
        with
        [
            Xs=boost::hana::tuple<int,int,int>,
            Ys=boost::hana::tuple<int,int,int>
        ]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            X=boost::hana::tuple<int,int,int>,
            Y=boost::hana::tuple<int,int,int>,
            Xs=boost::hana::tuple<int,int,int>,
            Ys=boost::hana::tuple<int,int,int>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(64): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::tuple<int,int,int>,boost::hana::tuple<int,int,int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::tuple<int,int,int>,
            Y=boost::hana::tuple<int,int,int>
        ]
..\boost/hana/lazy.hpp(130): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,4>
        ]
..\boost/hana/eval.hpp(27): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_impl<boost::hana::lazy_tag,void>::apply<0,X,std::array<int,4>>(boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,4>> &)' being compiled
        with
        [
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,
            _Ty=size_t
        ]
..\boost/hana/bool.hpp(237): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_t::operator ()<F&>(Expr) const' being compiled
        with
        [
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>>,
            Expr=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>> &
        ]
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_impl<boost::hana::integral_constant_tag<T>,void>::apply<F&,Else>(const boost::hana::true_ &,Then,Else &&)' being compiled
        with
        [
            T=bool,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>>,
            Else=boost::hana::test::only_when_::<lambda_ae5ac8e872e3bebd0fc21c06d626d4f1>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>> &
        ]
..\libs\hana\test\_include\laws/base.hpp(87): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<Cond&,F&,boost::hana::test::only_when_::<lambda_ae5ac8e872e3bebd0fc21c06d626d4f1>>(boost::hana::integral_constant<bool,true>&,Then,Else &&) const' being compiled
        with
        [
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>> &,
            Else=boost::hana::test::only_when_::<lambda_ae5ac8e872e3bebd0fc21c06d626d4f1>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(76): note: see reference to function template instantiation 'decltype(auto) boost::hana::test::only_when_<boost::hana::integral_constant<bool,true>,boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,4>>>(Cond,F)' being compiled
        with
        [
            _Ty=size_t,
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_2c79f21640af6890c17ef82490b7132a>,std::array<int,4>>
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,4>
        ]
..\boost/hana/equal.hpp(141): error C2664: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,4>::apply<1>(boost::hana::false_,bool) const': cannot convert argument 2 from 'void' to 'boost::hana::true_'
        with
        [
            Xs=boost::hana::tuple<int,int,int,int>,
            Ys=boost::hana::tuple<int,int,int,int>
        ]
..\boost/hana/equal.hpp(145): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(175): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,4>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
        with
        [
            Xs=boost::hana::tuple<int,int,int,int>,
            Ys=boost::hana::tuple<int,int,int,int>
        ]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            X=boost::hana::tuple<int,int,int,int>,
            Y=boost::hana::tuple<int,int,int,int>,
            Xs=boost::hana::tuple<int,int,int,int>,
            Ys=boost::hana::tuple<int,int,int,int>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(64): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::tuple<int,int,int,int>,boost::hana::tuple<int,int,int,int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::tuple<int,int,int,int>,
            Y=boost::hana::tuple<int,int,int,int>
        ]
..\boost/hana/lazy.hpp(130): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,5>
        ]
..\boost/hana/eval.hpp(27): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_impl<boost::hana::lazy_tag,void>::apply<0,X,std::array<int,5>>(boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,5>> &)' being compiled
        with
        [
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,
            _Ty=size_t
        ]
..\boost/hana/bool.hpp(237): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_t::operator ()<F&>(Expr) const' being compiled
        with
        [
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>>,
            Expr=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>> &
        ]
..\boost/hana/eval_if.hpp(42): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_impl<boost::hana::integral_constant_tag<T>,void>::apply<F&,Else>(const boost::hana::true_ &,Then,Else &&)' being compiled
        with
        [
            T=bool,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>>,
            Else=boost::hana::test::only_when_::<lambda_73ac622036979c3190b8d64918cb2c53>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>> &
        ]
..\libs\hana\test\_include\laws/base.hpp(87): note: see reference to function template instantiation 'decltype(auto) boost::hana::eval_if_t::operator ()<Cond&,F&,boost::hana::test::only_when_::<lambda_73ac622036979c3190b8d64918cb2c53>>(boost::hana::integral_constant<bool,true>&,Then,Else &&) const' being compiled
        with
        [
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>> &,
            Else=boost::hana::test::only_when_::<lambda_73ac622036979c3190b8d64918cb2c53>
        ]
..\libs\hana\test\_include\laws/iterable.hpp(76): note: see reference to function template instantiation 'decltype(auto) boost::hana::test::only_when_<boost::hana::integral_constant<bool,true>,boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0>,X,std::array<int,5>>>(Cond,F)' being compiled
        with
        [
            _Ty=size_t,
            X=boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0>,boost::hana::test::TestIterable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::()::<lambda_5d398ad5ce32a6ac124cb7d79d151cfd>,std::array<int,5>>
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'auto boost::hana::test::TestIterable<It,boost::hana::test::laws>::{ctor}::<lambda_51e83be79d247bdabe674266e5f9d1c9>::operator ()<V>(V) const' being compiled
        with
        [
            It=boost::hana::ext::std::array_tag,
            V=std::array<int,5>
        ]