Compile [2024-11-21 16:30:55 UTC]: fail
call "C:\teeks99-09\run\results\boost\bin.v2\standalone\msvc\msvc-14.3\msvc-setup.bat" >nul
cl /Zm800 -nologo "..\libs\hana\test\ext\std\tuple\laws.functor.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~ext~std~tuple~laws~functor.test\msvc-14.3\dbg\x86_6\dbg-symbl-off\thrd-mlt\ext\std\tuple\laws.functor.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\test\_include" "-IC:\teeks99-09\run\boost_root\libs\assert\include" "-IC:\teeks99-09\run\boost_root\libs\core\include" "-IC:\teeks99-09\run\boost_root\libs\hana\include" "-IC:\teeks99-09\run\boost_root\libs\throw_exception\include" "-IC:\teeks99-09\run\boost_root\libs\tuple\include"
laws.functor.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(60): note: the template instantiation context (the oldest one first) is
..\libs\hana\test\ext\std\tuple\laws.functor.cpp(54): note: see reference to function template instantiation 'boost::hana::test::TestMonadPlus<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::TestMonadPlus<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::tuple<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<0>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<1>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<2>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>(Xs,Predicates,Values)' 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>>>,
Predicates=boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<0>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<1>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<2>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>>,
Values=boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>
]
..\libs\hana\test\ext\std\tuple\laws.functor.cpp(54): note: see the first reference to 'boost::hana::test::TestMonadPlus<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::TestMonadPlus' in 'main'
..\libs\hana\test\_include\laws/monad_plus.hpp(183): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<std::tuple<int>,std::tuple<int>>(X &&,Y &&) const' being compiled
with
[
X=std::tuple<int>,
Y=std::tuple<int>
]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
with
[
T=boost::hana::equal_t::()::T,
U=boost::hana::equal_t::()::U,
X=std::tuple<int>,
Y=std::tuple<int>,
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(174): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(143): 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/if.hpp(35): 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=boost::hana::if_t::()::Bool,
Cond=bool,
C=bool,
T=const boost::hana::integral_constant<bool,true> &,
E=const boost::hana::integral_constant<bool,false> &
]
..\boost/hana/if.hpp(53): 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/eval_if.hpp(40): 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/equal.hpp(141): error C2672: 'boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply': no matching overloaded function found
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(157): note: could be 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply(boost::hana::false_,bool) const'
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(142): note: '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
..\boost/hana/equal.hpp(153): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply(boost::hana::true_,Result) const'
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(141): note: Failed to specialize function template 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply(boost::hana::true_,Result) const'
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(141): note: With the following template arguments:
..\boost/hana/equal.hpp(141): note: 'i=1'
..\boost/hana/equal.hpp(141): note: 'Result=void'
..\boost/hana/equal.hpp(141): note: 'void' cannot be used as a function parameter except for '(void)'
..\boost/hana/equal.hpp(149): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply(boost::hana::false_,boost::hana::false_) const'
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(142): note: '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
..\boost/hana/equal.hpp(140): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,1>::apply(boost::hana::false_,boost::hana::true_) const'
with
[
Xs=std::tuple<int>,
Ys=std::tuple<int>
]
..\boost/hana/equal.hpp(142): note: '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/monad_plus.hpp(183): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(183): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(183): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(187): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(187): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.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=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\boost/hana/equal.hpp(157): note: could be 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,bool) const'
with
[
Xs=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\boost/hana/equal.hpp(143): note: 'initializing': cannot convert from 'void' to 'bool'
..\boost/hana/equal.hpp(143): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(153): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::true_,Result) const'
with
[
Xs=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\boost/hana/equal.hpp(142): note: 'initializing': cannot convert from 'boost::hana::integral_constant<bool,false>' to 'boost::hana::true_'
..\boost/hana/equal.hpp(142): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\boost/hana/equal.hpp(149): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::false_) const'
with
[
Xs=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\boost/hana/equal.hpp(143): note: 'initializing': cannot convert from 'void' to 'boost::hana::false_'
..\boost/hana/equal.hpp(143): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(140): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,2>::apply(boost::hana::false_,boost::hana::true_) const'
with
[
Xs=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\boost/hana/equal.hpp(143): note: '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
..\boost/hana/equal.hpp(141): note: the template instantiation context (the oldest one first) is
..\libs\hana\test\_include\laws/monad_plus.hpp(191): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<std::tuple<int,char>,std::tuple<int,char>>(X &&,Y &&) const' being compiled
with
[
X=std::tuple<int,char>,
Y=std::tuple<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<X,Y>(const Xs &,const Ys &)' being compiled
with
[
T=boost::hana::equal_t::()::T,
U=boost::hana::equal_t::()::U,
X=std::tuple<int,char>,
Y=std::tuple<int,char>,
Xs=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\boost/hana/equal.hpp(174): 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=std::tuple<int,char>,
Ys=std::tuple<int,char>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(191): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(191): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.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,3>::apply': no matching overloaded function found
with
[
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(157): note: could be 'bool boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply(boost::hana::false_,bool) const'
with
[
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(143): note: 'initializing': cannot convert from 'void' to 'bool'
..\boost/hana/equal.hpp(143): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(153): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply(boost::hana::true_,Result) const'
with
[
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(142): note: 'initializing': cannot convert from 'boost::hana::integral_constant<bool,false>' to 'boost::hana::true_'
..\boost/hana/equal.hpp(142): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
..\boost/hana/equal.hpp(149): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply(boost::hana::false_,boost::hana::false_) const'
with
[
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(143): note: 'initializing': cannot convert from 'void' to 'boost::hana::false_'
..\boost/hana/equal.hpp(143): note: Expressions of type void cannot be converted to other types
..\boost/hana/equal.hpp(140): note: or 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply(boost::hana::false_,boost::hana::true_) const'
with
[
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(143): note: '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
..\boost/hana/equal.hpp(141): note: the template instantiation context (the oldest one first) is
..\libs\hana\test\_include\laws/monad_plus.hpp(195): note: see reference to function template instantiation 'auto boost::hana::equal_t::operator ()<std::tuple<int,char,double>,std::tuple<int,char,double>>(X &&,Y &&) const' being compiled
with
[
X=std::tuple<int,char,double>,
Y=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(50): note: see reference to function template instantiation 'auto boost::hana::equal_impl<T,U,boost::hana::when<true>>::apply<X,Y>(const Xs &,const Ys &)' being compiled
with
[
T=boost::hana::equal_t::()::T,
U=boost::hana::equal_t::()::U,
X=std::tuple<int,char,double>,
Y=std::tuple<int,char,double>,
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\boost/hana/equal.hpp(174): note: see reference to function template instantiation 'auto boost::hana::detail::compare_finite_sequences<Xs,Ys,3>::apply<0>(boost::hana::false_,boost::hana::true_) const' being compiled
with
[
Xs=std::tuple<int,char,double>,
Ys=std::tuple<int,char,double>
]
..\libs\hana\test\_include\laws/monad_plus.hpp(195): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(195): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(195): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(282): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(282): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(282): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(286): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(286): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(286): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(290): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(290): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(290): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(311): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(311): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(311): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(314): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(314): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(314): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/monad_plus.hpp(317): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/monad_plus.hpp(317): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/monad_plus.hpp(317): error C3539: a template-argument cannot be a type that contains 'auto'