Compile [2024-11-20 12:21:53 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\tuple\laws.searchable.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~ext~std~tuple~laws~searchable.test\msvc-14.1\dbg\x86_6\dbg-symbl-off\thrd-mlt\ext\std\tuple\laws.searchable.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.searchable.cpp
..\libs\hana\test\_include\support/numeric.hpp(76): error C2446: ':': no conversion from 'const boost::hana::integral_constant<bool,false>' to 'const boost::hana::integral_constant<bool,true>'
..\libs\hana\test\_include\support/numeric.hpp(76): 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<Numeric,void>::apply<Cond,Then,Else>(const C &,T &&,E &&)' being compiled
with
[
Cond=numeric_type,
Then=boost::hana::detail::hold<const boost::hana::integral_constant<bool,true> &>,
Else=boost::hana::detail::hold<const boost::hana::integral_constant<bool,false> &>,
C=numeric_type,
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=numeric_type,
T=const boost::hana::integral_constant<bool,true> &,
E=const boost::hana::integral_constant<bool,false> &,
Cond=numeric_type,
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=numeric_type,
C=numeric_type,
T=const boost::hana::integral_constant<bool,true> &,
E=const boost::hana::integral_constant<bool,false> &
]
..\boost/hana/any_of.hpp(80): note: see reference to function template instantiation 'decltype(auto) boost::hana::if_t::operator ()<numeric_type,const boost::hana::integral_constant<bool,true>&,const boost::hana::integral_constant<bool,false>&>(Cond &&,Then,Else) const' being compiled
with
[
Cond=numeric_type,
Then=const boost::hana::integral_constant<bool,true> &,
Else=const boost::hana::integral_constant<bool,false> &
]
..\boost/hana/any_of.hpp(99): note: see reference to function template instantiation 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<0,1>::apply<Xs,Pred>(boost::hana::false_,Xs &&,Pred &&)' being compiled
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<numeric_type>,
Pred=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,numeric_type>
]
..\boost/hana/any_of.hpp(48): note: see reference to function template instantiation 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::apply<Xs,Pred>(Xs &&,Pred &&)' being compiled
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<numeric_type>,
Pred=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,numeric_type>
]
..\libs\hana\test\_include\laws/searchable.hpp(226): note: see reference to function template instantiation 'auto boost::hana::any_of_t::operator ()<std::tuple<numeric_type>,boost::hana::partial_t<std::integer_sequence<_Ty,0>,boost::hana::equal_t,numeric_type>>(Xs &&,Pred &&) const' being compiled
with
[
_Ty=size_t,
Xs=std::tuple<numeric_type>,
Pred=boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,numeric_type>
]
..\libs\hana\test\ext\std\tuple\laws.searchable.cpp(36): note: see reference to function template instantiation 'boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::TestSearchable<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>>>,boost::hana::tuple<boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<5>,boost::hana::test::ct_eq<7>>>(Xs,Keys)' 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>>>,
Keys=boost::hana::tuple<boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<5>,boost::hana::test::ct_eq<7>>
]
..\libs\hana\test\ext\std\tuple\laws.searchable.cpp(36): note: see reference to function template instantiation 'boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::TestSearchable<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>>>,boost::hana::tuple<boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<5>,boost::hana::test::ct_eq<7>>>(Xs,Keys)' 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>>>,
Keys=boost::hana::tuple<boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<5>,boost::hana::test::ct_eq<7>>
]
..\boost/hana/any_of.hpp(80): error C3313: 'cond': variable cannot have the type 'void'
..\boost/hana/any_of.hpp(81): error C3536: 'cond': cannot be used before it is initialized
..\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/any_of.hpp(80): 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/any_of.hpp(99): note: see reference to function template instantiation 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<0,1>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(boost::hana::false_,Xs &&,Pred)' being compiled
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/any_of.hpp(48): note: see reference to function template instantiation 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(Xs &&,Pred)' being compiled
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\libs\hana\test\_include\laws/searchable.hpp(232): note: see reference to function template instantiation 'auto boost::hana::any_of_t::operator ()<std::tuple<int>,boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(Xs &&,Pred) const' being compiled
with
[
Xs=std::tuple<int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/any_of.hpp(66): error C2672: 'boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,2>::apply': no matching overloaded function found
with
[
S=boost::hana::ext::std::tuple_tag
]
..\boost/hana/any_of.hpp(83): note: see reference to function template instantiation 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<1,2>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(bool,Xs &&,Pred)' being compiled
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/any_of.hpp(70): error C2893: Failed to specialize function template 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,2>::apply(Cond,Xs &&,Pred &&)'
with
[
S=boost::hana::ext::std::tuple_tag
]
..\boost/hana/any_of.hpp(70): note: With the following template arguments:
..\boost/hana/any_of.hpp(70): note: 'Cond=void'
..\boost/hana/any_of.hpp(70): note: 'Xs=Xs'
..\boost/hana/any_of.hpp(70): note: 'Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &'
..\libs\hana\test\_include\laws/searchable.hpp(238): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/searchable.hpp(240): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(240): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(241): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(241): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(241): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(241): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(243): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(243): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/any_of.hpp(66): error C2665: 'boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,3>::apply': none of the 3 overloads could convert all the argument types
with
[
S=boost::hana::ext::std::tuple_tag
]
..\boost/hana/any_of.hpp(78): note: could be 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,3>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(boost::hana::false_,Xs &&,Pred)'
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int,int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/any_of.hpp(74): note: or 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,3>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(boost::hana::true_,Xs &&,Pred)'
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int,int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/any_of.hpp(64): note: or 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,3>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(bool,Xs &&,Pred)'
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int,int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/any_of.hpp(70): note: while trying to match the argument list '(void, Xs, boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>)'
with
[
Xs=std::tuple<int,int,int>
]
..\boost/hana/any_of.hpp(83): note: see reference to function template instantiation 'auto boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<1,3>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(bool,Xs &&,Pred)' being compiled
with
[
S=boost::hana::ext::std::tuple_tag,
Xs=std::tuple<int,int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\libs\hana\test\_include\laws/searchable.hpp(244): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/searchable.hpp(246): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(246): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/all_of.hpp(45): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\boost/hana/all_of.hpp(46): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\boost/hana/all_of.hpp(46): note: With the following template arguments:
..\boost/hana/all_of.hpp(46): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(268): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(268): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(268): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(268): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(270): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(270): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(271): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/searchable.hpp(273): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(273): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(277): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/searchable.hpp(277): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(277): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(278): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(278): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(278): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(278): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(278): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(278): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(279): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(279): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(279): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(279): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(279): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(279): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(280): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(280): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(280): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(280): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(280): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(280): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(289): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/searchable.hpp(289): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(289): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(290): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(290): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(290): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(290): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(290): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(290): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/none_of.hpp(44): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\boost/hana/none_of.hpp(36): note: see reference to function template instantiation 'auto boost::hana::none_of_impl<S,boost::hana::when<true>>::apply<Xs,boost::hana::test::TestSearchable<S,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(Xs &&,Pred)' being compiled
with
[
S=S,
Xs=std::tuple<int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\libs\hana\test\_include\laws/searchable.hpp(301): note: see reference to function template instantiation 'auto boost::hana::none_of_t::operator ()<std::tuple<int,int>,boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4>&>(Xs &&,Pred) const' being compiled
with
[
Xs=std::tuple<int,int>,
Pred=boost::hana::test::TestSearchable<boost::hana::ext::std::tuple_tag,boost::hana::when<true>>::{ctor}::<lambda_326cb728f545a542c2e20074cfd5d3b4> &
]
..\boost/hana/none_of.hpp(45): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\boost/hana/none_of.hpp(45): note: With the following template arguments:
..\boost/hana/none_of.hpp(45): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(301): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(301): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(301): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(301): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(301): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(301): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(302): error C3313: '__hana_tmp': variable cannot have the type 'void'
..\libs\hana\test\_include\laws/searchable.hpp(302): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(302): error C3539: a template-argument cannot be a type that contains 'auto'
..\libs\hana\test\_include\laws/searchable.hpp(303): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\libs\hana\test\_include\laws/searchable.hpp(303): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\libs\hana\test\_include\laws/searchable.hpp(303): note: With the following template arguments:
..\libs\hana\test\_include\laws/searchable.hpp(303): note: 'X=void'
..\libs\hana\test\_include\laws/searchable.hpp(303): error C3536: '__hana_tmp': cannot be used before it is initialized
..\libs\hana\test\_include\laws/searchable.hpp(303): error C3539: a template-argument cannot be a type that contains 'auto'
..\boost/hana/functional/compose.hpp(78): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\boost/hana/functional/compose.hpp(81): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\boost/hana/functional/compose.hpp(81): note: With the following template arguments:
..\boost/hana/functional/compose.hpp(81): note: 'X=void'
..\boost/hana/any_of.hpp(79): error C2672: 'operator __surrogate_func': no matching overloaded function found
..\boost/hana/any_of.hpp(80): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::if_t::operator ()(Cond &&,Then &&,Else &&) const'
..\boost/hana/any_of.hpp(80): note: With the following template arguments:
..\boost/hana/any_of.hpp(80): note: 'Cond=void'
..\boost/hana/any_of.hpp(80): note: 'Then=const boost::hana::integral_constant<bool,true> &'
..\boost/hana/any_of.hpp(80): note: 'Else=const boost::hana::integral_constant<bool,false> &'