Compile [2024-11-20 19:17:26 UTC]: fail
call "C:\teeks99-09\run\results\boost\bin.v2\standalone\msvc\msvc-14.2\msvc-setup.bat" >nul
cl /Zm800 -nologo "..\libs\hana\test\ext\std\tuple\laws.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~ext~std~tuple~laws.test\msvc-14.2\dbg\x86_6\dbg-symbl-off\thrd-mlt\ext\std\tuple\laws.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"
laws.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::_constant<999>,int>,
Ys=boost::hana::tuple<boost::hana::test::_constant<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::_constant<999>,int>,
Ys=boost::hana::tuple<boost::hana::test::_constant<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::_constant<999>,int>,boost::hana::tuple<boost::hana::test::_constant<999>,int>>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
Xs=boost::hana::tuple<boost::hana::test::_constant<999>,int>,
Ys=boost::hana::tuple<boost::hana::test::_constant<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::_constant<999>,int>&,boost::hana::tuple<boost::hana::test::_constant<999>,int>&>(X,Y) const' being compiled
with
[
X=boost::hana::tuple<boost::hana::test::_constant<999>,int> &,
Y=boost::hana::tuple<boost::hana::test::_constant<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::_constant<999>,int>,
Y=boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>
]
..\libs\hana\test\_include\laws/foldable.hpp(176): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,
Y=boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>
]
..\libs\hana\test\ext\std\tuple\laws.cpp(40): note: see reference to function template instantiation 'boost::hana::test::TestFoldable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::TestFoldable<boost::hana::tuple<std::tuple<>,std::tuple<boost::hana::test::ct_eq<0>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<4>>>>(Xs)' being compiled
with
[
Xs=boost::hana::tuple<std::tuple<>,std::tuple<boost::hana::test::ct_eq<0>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<4>>>
]
..\libs\hana\test\ext\std\tuple\laws.cpp(40): note: see reference to function template instantiation 'boost::hana::test::TestFoldable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::TestFoldable<boost::hana::tuple<std::tuple<>,std::tuple<boost::hana::test::ct_eq<0>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<4>>>>(Xs)' being compiled
with
[
Xs=boost::hana::tuple<std::tuple<>,std::tuple<boost::hana::test::ct_eq<0>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,std::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<4>>>
]
..\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::_constant<999>,int>,
Ys=boost::hana::tuple<boost::hana::test::_constant<999>,int>
]
..\boost/hana/equal.hpp(142): error C2440: 'initializing': cannot convert from 'boost::hana::integral_constant<bool,true>' to 'boost::hana::false_'
..\boost/hana/equal.hpp(142): 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'
..\boost/hana/fwd/and.hpp(46): note: see declaration of 'boost::hana::and_t::operator ()'
..\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(176): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(179): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(179): 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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
Xs=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>&,boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>&>(X,Y) const' being compiled
with
[
X=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char> &,
Y=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char> &
]
..\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::_constant<999>,int>,char>,
Y=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\libs\hana\test\_include\laws/foldable.hpp(180): 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::_constant<999>,int>,char>,boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,
Y=boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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/fwd/if.hpp(50): note: see declaration of 'boost::hana::if_t::operator ()'
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\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::_constant<999>,int>,char>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>
]
..\libs\hana\test\_include\laws/foldable.hpp(180): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(183): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(183): 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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\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::_constant<999>,int>,char>,double>,
Ys=boost::hana::tuple<boost::hana::test::injection_result<0,boost::hana::test::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>
]
..\libs\hana\test\_include\laws/foldable.hpp(184): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(187): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(187): 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::injection_result<0,boost::hana::test::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\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::_constant<999>,int>,char>,double>,float>,
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::_constant<999>,int>,char>,double>,float>
]
..\libs\hana\test\_include\laws/foldable.hpp(188): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(191): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(191): 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<int,boost::hana::test::_constant<999>>,
Ys=boost::hana::tuple<int,boost::hana::test::_constant<999>>
]
..\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,boost::hana::test::_constant<999>>,
Ys=boost::hana::tuple<int,boost::hana::test::_constant<999>>
]
..\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,boost::hana::test::_constant<999>>,boost::hana::tuple<int,boost::hana::test::_constant<999>>>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
Xs=boost::hana::tuple<int,boost::hana::test::_constant<999>>,
Ys=boost::hana::tuple<int,boost::hana::test::_constant<999>>
]
..\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,boost::hana::test::_constant<999>>&,boost::hana::tuple<int,boost::hana::test::_constant<999>>&>(X,Y) const' being compiled
with
[
X=boost::hana::tuple<int,boost::hana::test::_constant<999>> &,
Y=boost::hana::tuple<int,boost::hana::test::_constant<999>> &
]
..\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,boost::hana::test::_constant<999>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::_constant<999>>
]
..\libs\hana\test\_include\laws/foldable.hpp(239): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,int,boost::hana::test::_constant<999>>,boost::hana::test::injection_result<0,int,boost::hana::test::_constant<999>>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::test::injection_result<0,int,boost::hana::test::_constant<999>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::_constant<999>>
]
..\boost/hana/equal.hpp(143): error C2440: 'initializing': cannot convert from 'void' to 'boost::hana::true_'
..\boost/hana/equal.hpp(143): note: Expressions of type void cannot be converted to other types
..\libs\hana\test\_include\laws/foldable.hpp(239): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(242): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(242): 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<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
Xs=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>&,boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>&>(X,Y) const' being compiled
with
[
X=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>> &,
Y=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>> &
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>
]
..\libs\hana\test\_include\laws/foldable.hpp(243): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::_constant<999>>>
]
..\libs\hana\test\_include\laws/foldable.hpp(243): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(246): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(246): 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<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
Xs=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>&,boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>&>(X,Y) const' being compiled
with
[
X=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>> &,
Y=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>> &
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>
]
..\libs\hana\test\_include\laws/foldable.hpp(247): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::_constant<999>>>>
]
..\libs\hana\test\_include\laws/foldable.hpp(247): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(250): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(250): 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<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>>(const Xs &,const Ys &)' being compiled
with
[
T=T,
U=U,
Xs=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,
Ys=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>&,boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>&>(X,Y) const' being compiled
with
[
X=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>> &,
Y=boost::hana::tuple<int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>> &
]
..\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,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>
]
..\libs\hana\test\_include\laws/foldable.hpp(251): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>,
Y=boost::hana::test::injection_result<0,int,boost::hana::test::injection_result<0,char,boost::hana::test::injection_result<0,double,boost::hana::test::injection_result<0,float,boost::hana::test::_constant<999>>>>>
]
..\libs\hana\test\_include\laws/foldable.hpp(251): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/foldable.hpp(254): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/foldable.hpp(254): error C3539: a template-argument cannot be a type that contains 'auto'