Test output: teeks99-09-v15d-64onAMD64 - hana - test~ext~std~array~foldable / 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\foldable.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~ext~std~array~foldable.test\msvc-14.1\dbg\x86_6\dbg-symbl-off\thrd-mlt\ext\std\array\foldable.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" 

foldable.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(145): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply<1>(boost::hana::false_,boost::hana::true_) const' being compiled
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::ct_eq<999>,int>,
            Ys=boost::hana::tuple<boost::hana::test::ct_eq<999>,int>
        ]
..\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<boost::hana::test::ct_eq<999>,int>,
            Ys=boost::hana::tuple<boost::hana::test::ct_eq<999>,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<boost::hana::tuple<boost::hana::test::ct_eq<999>,int>,boost::hana::tuple<boost::hana::test::ct_eq<999>,int>>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            Xs=boost::hana::tuple<boost::hana::test::ct_eq<999>,int>,
            Ys=boost::hana::tuple<boost::hana::test::ct_eq<999>,int>
        ]
..\libs\hana\test\_include\laws/base.hpp(163): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::tuple<boost::hana::test::ct_eq<999>,int>&,boost::hana::tuple<boost::hana::test::ct_eq<999>,int>&>(X,Y) const' being compiled
        with
        [
            X=boost::hana::tuple<boost::hana::test::ct_eq<999>,int> &,
            Y=boost::hana::tuple<boost::hana::test::ct_eq<999>,int> &
        ]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<boost::hana::test::InjectionResult,boost::hana::test::InjectionResult,void>::apply<X,Y>(X,Y)' being compiled
        with
        [
            X=boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,
            Y=boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>
        ]
..\libs\hana\test\_include\laws/foldable.hpp(76): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,
            Y=boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'auto boost::hana::test::TestFoldable<F,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::operator ()<V>(V) const' being compiled
        with
        [
            F=boost::hana::ext::std::array_tag,
            V=std::array<int,1>
        ]
..\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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>,
            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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>,
            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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf> *>,
            _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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf> *>,
            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<Foldables&,F>(Xs,F &&)' being compiled
        with
        [
            Foldables=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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf> *>,
            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>> &
        ]
..\boost/hana/for_each.hpp(57): note: see reference to function template instantiation 'void boost::hana::unpack_t::operator ()<Foldables&,boost::hana::detail::on_each<F *>>(Xs,boost::hana::detail::on_each<F *> &&) const' being compiled
        with
        [
            Foldables=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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>,
            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>> &
        ]
..\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<Foldables&,F>(Xs,F &&)' being compiled
        with
        [
            T=S,
            Foldables=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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>,
            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>> &
        ]
..\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<Foldables&,F>(Xs,F &&)' being compiled
        with
        [
            T=S,
            Foldables=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::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>,
            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\_include\laws/foldable.hpp(112): note: see reference to function template instantiation 'void boost::hana::for_each_t::operator ()<Foldables&,boost::hana::test::TestFoldable<F,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>>(Xs,boost::hana::test::TestFoldable<F,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf> &&) const' being compiled
        with
        [
            Foldables=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::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\foldable.cpp(30): note: see reference to function template instantiation 'boost::hana::test::TestFoldable<F,boost::hana::test::laws>::TestFoldable<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>>>(Foldables)' being compiled
        with
        [
            F=boost::hana::ext::std::array_tag,
            Foldables=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\foldable.cpp(30): note: see reference to function template instantiation 'boost::hana::test::TestFoldable<F,boost::hana::test::laws>::TestFoldable<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>>>(Foldables)' being compiled
        with
        [
            F=boost::hana::ext::std::array_tag,
            Foldables=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\foldable.cpp(28): note: see reference to function template instantiation 'boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::when<true>>::TestFoldable<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\foldable.cpp(28): note: see reference to function template instantiation 'boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::when<true>>::TestFoldable<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,2>::apply<2>(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<boost::hana::test::ct_eq<999>,int>,
            Ys=boost::hana::tuple<boost::hana::test::ct_eq<999>,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/base.hpp(161): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/base.hpp(164): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::and_t::operator ()(X &&,Y &&...) const'
..\libs\hana\test\_include\laws/base.hpp(164): note: With the following template arguments:
..\libs\hana\test\_include\laws/base.hpp(164): note: 'X=const boost::hana::integral_constant<bool,true> &'
..\libs\hana\test\_include\laws/base.hpp(164): note: 'Y={void}'
..\libs\hana\test\_include\laws/foldable.hpp(76): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(79): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(79): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/foldable.hpp(81): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(84): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(84): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/equal.hpp(143): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\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<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,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<boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\libs\hana\test\_include\laws/base.hpp(163): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>&,boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>&>(X,Y) const' being compiled
        with
        [
            X=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int> &,
            Y=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int> &
        ]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<boost::hana::test::InjectionResult,boost::hana::test::InjectionResult,void>::apply<X,Y>(X,Y)' being compiled
        with
        [
            X=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Y=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\libs\hana\test\_include\laws/foldable.hpp(76): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Y=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/for_each.hpp(46): note: see reference to function template instantiation 'auto boost::hana::test::TestFoldable<F,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::operator ()<V>(V) const' being compiled
        with
        [
            F=boost::hana::ext::std::array_tag,
            V=std::array<int,2>
        ]
..\boost/hana/equal.hpp(144): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::if_t::operator ()(Cond &&,Then &&,Else &&) const'
..\boost/hana/equal.hpp(144): note: With the following template arguments:
..\boost/hana/equal.hpp(144): note: 'Cond=void'
..\boost/hana/equal.hpp(144): note: 'Then=const boost::hana::integral_constant<bool,true> &'
..\boost/hana/equal.hpp(144): note: 'Else=const boost::hana::integral_constant<bool,false> &'
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>
        ]
..\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<boost::hana::tuple<int,int>,boost::hana::tuple<int,int>>(const Xs &,const Ys &)' being compiled
        with
        [
            T=T,
            U=U,
            Xs=boost::hana::tuple<int,int>,
            Ys=boost::hana::tuple<int,int>
        ]
..\libs\hana\test\_include\laws/base.hpp(163): 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/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<boost::hana::test::InjectionResult,boost::hana::test::InjectionResult,void>::apply<X,Y>(X,Y)' being compiled
        with
        [
            X=boost::hana::test::injection_result<0,int,int>,
            Y=boost::hana::test::injection_result<0,int,int>
        ]
..\libs\hana\test\_include\laws/foldable.hpp(88): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,int,int>,boost::hana::test::injection_result<0,int,int>>(X &&,Y &&) const' being compiled
        with
        [
            X=boost::hana::test::injection_result<0,int,int>,
            Y=boost::hana::test::injection_result<0,int,int>
        ]
..\boost/hana/lazy.hpp(130): note: see reference to function template instantiation 'auto boost::hana::test::TestFoldable<F,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>::operator ()<V,std::array<int,2>>(V,std::array<int,2>) const' being compiled
        with
        [
            F=boost::hana::ext::std::array_tag,
            V=boost::hana::test::_injection<0>
        ]
..\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,1,X,boost::hana::test::_injection<0>,std::array<int,2>>(boost::hana::lazy_apply_t<std::integer_sequence<_Ty,0,1>,X,boost::hana::test::_injection<0>,std::array<int,2>> &)' being compiled
        with
        [
            X=boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,
            _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,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,std::array<int,2>>,
            Expr=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,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,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,std::array<int,2>>,
            Else=boost::hana::test::only_when_::<lambda_b8476588077686b5b657bd6d75abea4b>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,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_b8476588077686b5b657bd6d75abea4b>>(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,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,std::array<int,2>>,
            Then=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,std::array<int,2>> &,
            Else=boost::hana::test::only_when_::<lambda_b8476588077686b5b657bd6d75abea4b>
        ]
..\libs\hana\test\_include\laws/foldable.hpp(97): 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,1>,X,boost::hana::test::_injection<0>,std::array<int,2>>>(Cond,F)' being compiled
        with
        [
            _Ty=size_t,
            X=boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,
            Cond=boost::hana::integral_constant<bool,true>,
            F=boost::hana::lazy_apply_t<std::integer_sequence<size_t,0,1>,boost::hana::test::TestFoldable<boost::hana::ext::std::array_tag,boost::hana::test::laws>::{ctor}::<lambda_7028b1d8deb16a49b971d0720fabcfbf>::()::<lambda_cf826df43376441ea022d8330046a7ff>,boost::hana::test::_injection<0>,std::array<int,2>>
        ]
..\libs\hana\test\_include\laws/foldable.hpp(88): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(91): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(91): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/foldable.hpp(93): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(96): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(96): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,int,int>,int>
        ]
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>
        ]
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::ct_eq<999>,int>,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply': no matching overloaded function found
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(157): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(153): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(149): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(145): error C2780: 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const': expects 2 arguments - 1 provided
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]
..\boost/hana/equal.hpp(140): note: see declaration of 'boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply'
        with
        [
            Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>,
            Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,int,int>,int>,int>,int>
        ]