Compile [2024-11-21 09:21:09 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\tuple\laws.functor.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~tuple~laws~functor.test\msvc-14.3\dbg\x86_6\dbg-symbl-off\thrd-mlt\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\include" "-I..\libs\hana\test\_include"
laws.functor.cpp
..\boost/hana/detail/algorithm.hpp(163): warning C4267: '=': conversion from 'size_t' to 'T', possible loss of data
with
[
T=int
]
..\boost/hana/detail/unpack_flatten.hpp(30): note: while evaluating constexpr function 'boost::hana::detail::accumulate'
..\boost/hana/detail/algorithm.hpp(163): note: the template instantiation context (the oldest one first) is
..\libs\hana\test\tuple\laws.functor.cpp(61): note: see reference to function template instantiation 'boost::hana::test::TestApplicative<boost::hana::tuple_tag,boost::hana::when<true>>::TestApplicative<boost::hana::tuple<boost::hana::tuple<>,boost::hana::tuple<boost::hana::test::ct_eq<0>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,boost::hana::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::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::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::test::ct_eq<5>>>>(Applicatives)' being compiled
with
[
Applicatives=boost::hana::tuple<boost::hana::tuple<>,boost::hana::tuple<boost::hana::test::ct_eq<0>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,boost::hana::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::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::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::test::ct_eq<5>>>
]
..\libs\hana\test\tuple\laws.functor.cpp(61): note: see the first reference to 'boost::hana::test::TestApplicative<boost::hana::tuple_tag,boost::hana::when<true>>::TestApplicative' in 'main'
..\libs\hana\test\_include\laws/applicative.hpp(129): note: see reference to function template instantiation 'decltype(auto) boost::hana::ap_t::operator ()<boost::hana::tuple<>,boost::hana::tuple<>>(F &&,X &&) const' being compiled
with
[
F=boost::hana::tuple<>,
X=boost::hana::tuple<>
]
..\boost/hana/ap.hpp(50): note: see reference to function template instantiation 'decltype(auto) boost::hana::ap_impl<A,boost::hana::when<true>>::apply<F,X>(F &&,X &&)' being compiled
with
[
A=boost::hana::tuple_tag,
F=boost::hana::tuple<>,
X=boost::hana::tuple<>
]
..\boost/hana/ap.hpp(70): note: see reference to function template instantiation 'decltype(auto) boost::hana::chain_t::operator ()<F,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::transform_t,boost::hana::tuple<>>>(Xs &&,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::transform_t,boost::hana::tuple<>> &&) const' being compiled
with
[
F=boost::hana::tuple<>,
Xs=boost::hana::tuple<>
]
..\boost/hana/chain.hpp(36): note: see reference to function template instantiation 'auto boost::hana::chain_impl<M,boost::hana::when<true>>::apply<Xs,F>(Xs &&,F &&)' being compiled
with
[
M=boost::hana::tuple_tag,
Xs=boost::hana::tuple<>,
F=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::transform_t,boost::hana::tuple<>>
]
..\boost/hana/chain.hpp(44): note: see reference to function template instantiation 'auto boost::hana::flatten_t::operator ()<boost::hana::tuple<>>(Xs &&) const' being compiled
with
[
Xs=boost::hana::tuple<>
]
..\boost/hana/flatten.hpp(42): note: see reference to function template instantiation 'auto boost::hana::flatten_impl<M,boost::hana::when<true>>::apply<Xs>(Xs &&)' being compiled
with
[
M=boost::hana::tuple_tag,
Xs=boost::hana::tuple<>
]
..\boost/hana/flatten.hpp(57): note: see reference to function template instantiation 'decltype(auto) boost::hana::detail::unpack_flatten<Xs,const boost::hana::make_t<boost::hana::tuple_tag>&>(Xs &&,F)' being compiled
with
[
Xs=boost::hana::tuple<>,
F=const boost::hana::make_t<boost::hana::tuple_tag> &
]
..\boost/hana/detail/unpack_flatten.hpp(64): note: see reference to function template instantiation 'decltype(auto) boost::hana::unpack_t::operator ()<Xs&,boost::hana::detail::make_flatten_indices>(boost::hana::tuple<>&,F &&) const' being compiled
with
[
Xs=boost::hana::tuple<>,
F=boost::hana::detail::make_flatten_indices
]
..\boost/hana/unpack.hpp(47): note: see reference to function template instantiation 'decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag,void>::apply<F>(boost::hana::tuple<> &,F &&)' being compiled
with
[
F=boost::hana::detail::make_flatten_indices
]
..\boost/hana/tuple.hpp(226): note: see reference to class template instantiation 'boost::hana::detail::flatten_indices<>' being compiled
..\boost/hana/detail/unpack_flatten.hpp(30): note: see reference to function template instantiation 'T boost::hana::detail::accumulate<const size_t*,int>(InputIt,InputIt,T)' being compiled
with
[
T=int,
InputIt=const size_t *
]
..\boost/hana/detail/algorithm.hpp(169): note: see reference to function template instantiation 'T boost::hana::detail::accumulate<InputIt,T,boost::hana::placeholder_detail::plus>(InputIt,InputIt,T,F)' being compiled
with
[
T=int,
InputIt=const size_t *,
F=boost::hana::placeholder_detail::plus
]
..\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\tuple\laws.functor.cpp(63): note: see reference to function template instantiation 'boost::hana::test::TestMonadPlus<boost::hana::tuple_tag,boost::hana::when<true>>::TestMonadPlus<boost::hana::tuple<boost::hana::tuple<>,boost::hana::tuple<boost::hana::test::ct_eq<0>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,boost::hana::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::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::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::test::ct_eq<5>>>,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<2>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<4>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<4>>>(Xs,Predicates,Values)' being compiled
with
[
Xs=boost::hana::tuple<boost::hana::tuple<>,boost::hana::tuple<boost::hana::test::ct_eq<0>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>,boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>,boost::hana::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::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::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::test::ct_eq<5>>>,
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<2>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,boost::hana::test::ct_eq<4>>,boost::hana::_always<boost::hana::integral_constant<bool,true>>,boost::hana::_always<boost::hana::integral_constant<bool,false>>>,
Values=boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<2>,boost::hana::test::ct_eq<4>>
]
..\libs\hana\test\tuple\laws.functor.cpp(63): note: see the first reference to 'boost::hana::test::TestMonadPlus<boost::hana::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 ()<boost::hana::tuple<int>,boost::hana::tuple<int>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::tuple<int>,
Y=boost::hana::tuple<int>
]
..\boost/hana/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=boost::hana::tuple<int>,
Y=boost::hana::tuple<int>,
Xs=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int>,
Ys=boost::hana::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=boost::hana::tuple<int,char>,
Ys=boost::hana::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=boost::hana::tuple<int,char>,
Ys=boost::hana::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=boost::hana::tuple<int,char>,
Ys=boost::hana::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=boost::hana::tuple<int,char>,
Ys=boost::hana::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=boost::hana::tuple<int,char>,
Ys=boost::hana::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 ()<boost::hana::tuple<int,char>,boost::hana::tuple<int,char>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::tuple<int,char>,
Y=boost::hana::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=boost::hana::tuple<int,char>,
Y=boost::hana::tuple<int,char>,
Xs=boost::hana::tuple<int,char>,
Ys=boost::hana::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=boost::hana::tuple<int,char>,
Ys=boost::hana::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=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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 ()<boost::hana::tuple<int,char,double>,boost::hana::tuple<int,char,double>>(X &&,Y &&) const' being compiled
with
[
X=boost::hana::tuple<int,char,double>,
Y=boost::hana::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=boost::hana::tuple<int,char,double>,
Y=boost::hana::tuple<int,char,double>,
Xs=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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=boost::hana::tuple<int,char,double>,
Ys=boost::hana::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'