Compile [2024-11-20 19:17:17 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\foldable\iterable_mcd\searchable.cpp" -c -Fo"C:\teeks99-09\run\results\boost\bin.v2\libs\hana\test\test~foldable~iterable_mcd~searchable.test\msvc-14.2\dbg\x86_6\dbg-symbl-off\thrd-mlt\foldable\iterable_mcd\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\include" "-I..\libs\hana\test\_include"
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=Seq,
Xs=seq_type<boost::hana::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=Seq,
Xs=seq_type<boost::hana::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 ()<seq_type<boost::hana::tuple<numeric_type>>,boost::hana::partial_t<std::integer_sequence<size_t,0>,boost::hana::equal_t,numeric_type>>(Xs &&,Pred &&) const' being compiled
with
[
Xs=seq_type<boost::hana::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/templates/seq.hpp(96): note: see reference to function template instantiation 'boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::TestSearchable<boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<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<3>,boost::hana::test::ct_eq<10>>>(Xs,Keys)' being compiled
with
[
Xs=boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<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>>>>,
Keys=boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<10>>
]
..\libs\hana\test\_include\laws/templates/seq.hpp(96): note: see reference to function template instantiation 'boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::TestSearchable<boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<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<3>,boost::hana::test::ct_eq<10>>>(Xs,Keys)' being compiled
with
[
Xs=boost::hana::tuple<seq_type<boost::hana::tuple<>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>>>,seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<1>,boost::hana::test::ct_eq<2>>>,seq_type<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>>>>,
Keys=boost::hana::tuple<boost::hana::test::ct_eq<0>,boost::hana::test::ct_eq<3>,boost::hana::test::ct_eq<10>>
]
..\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_91dfd12e2ddbcdadfc1d9739ead16840>&>(boost::hana::false_,Xs &&,Pred)' being compiled
with
[
S=Seq,
Xs=seq_type<boost::hana::tuple<int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\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_91dfd12e2ddbcdadfc1d9739ead16840>&>(Xs &&,Pred)' being compiled
with
[
S=Seq,
Xs=seq_type<boost::hana::tuple<int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\libs\hana\test\_include\laws/searchable.hpp(232): note: see reference to function template instantiation 'auto boost::hana::any_of_t::operator ()<seq_type<boost::hana::tuple<int>>,boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840>&>(Xs &&,Pred) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\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=Seq
]
..\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_91dfd12e2ddbcdadfc1d9739ead16840>&>(bool,Xs &&,Pred)' being compiled
with
[
S=Seq,
Xs=seq_type<boost::hana::tuple<int,int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\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=Seq
]
..\boost/hana/any_of.hpp(90): note: see declaration of 'boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,2>::apply'
with
[
S=Seq
]
..\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<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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 C2672: 'boost::hana::any_of_impl<S,boost::hana::when<true>>::any_of_helper<2,3>::apply': no matching overloaded function found
with
[
S=Seq
]
..\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_91dfd12e2ddbcdadfc1d9739ead16840>&>(bool,Xs &&,Pred)' being compiled
with
[
S=Seq,
Xs=seq_type<boost::hana::tuple<int,int,int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\boost/hana/any_of.hpp(67): error C2440: 'initializing': cannot convert from 'void' to 'boost::hana::false_'
..\boost/hana/any_of.hpp(67): note: Expressions of type void cannot be converted to other types
..\boost/hana/any_of.hpp(67): error C2440: 'initializing': cannot convert from 'void' to 'boost::hana::true_'
..\boost/hana/any_of.hpp(67): note: Expressions of type void cannot be converted to other types
..\boost/hana/any_of.hpp(67): error C2440: 'initializing': cannot convert from 'void' to 'bool'
..\boost/hana/any_of.hpp(67): note: Expressions of type void cannot be converted to other types
..\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/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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_91dfd12e2ddbcdadfc1d9739ead16840>&>(Xs &&,Pred)' being compiled
with
[
S=S,
Xs=seq_type<boost::hana::tuple<int,int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\libs\hana\test\_include\laws/searchable.hpp(301): note: see reference to function template instantiation 'auto boost::hana::none_of_t::operator ()<seq_type<boost::hana::tuple<int,int>>,boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840>&>(Xs &&,Pred) const' being compiled
with
[
Xs=seq_type<boost::hana::tuple<int,int>>,
Pred=boost::hana::test::TestSearchable<Seq,boost::hana::when<true>>::{ctor}::<lambda_91dfd12e2ddbcdadfc1d9739ead16840> &
]
..\boost/hana/none_of.hpp(45): error C2893: Failed to specialize function template 'decltype(auto) boost::hana::not_t::operator ()(X &&) const'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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'
..\boost/hana/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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/fwd/not.hpp(40): note: see declaration of 'boost::hana::not_t::operator ()'
..\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/fwd/if.hpp(50): note: see declaration of 'boost::hana::if_t::operator ()'
..\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> &'