Compile [2024-11-16 12:16:26 UTC]: fail
"g++-12" -fvisibility-inlines-hidden -std=c++17 -fPIC -m64 -pthread -O0 -fno-inline -Wall -fvisibility=hidden -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1 -I".." -I"../libs/hana/test/_include" -I"/var/boost/run/boost_root/libs/assert/include" -I"/var/boost/run/boost_root/libs/core/include" -I"/var/boost/run/boost_root/libs/hana/include" -I"/var/boost/run/boost_root/libs/throw_exception/include" -I"/var/boost/run/boost_root/libs/tuple/include" -c -o "/var/boost/run/results/boost/bin.v2/libs/hana/test/test~concept~sequence~searchable.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/concept/sequence/searchable.o" "../libs/hana/test/concept/sequence/searchable.cpp"
In file included from ../boost/hana/detail/operators/logical.hpp:16,
from ../boost/hana/bool.hpp:21,
from ../libs/hana/test/_include/laws/templates/seq.hpp:5,
from ../libs/hana/test/concept/sequence/searchable.cpp:6:
../boost/hana/fwd/not.hpp: In instantiation of 'struct boost::hana::not_impl<boost::hana::integral_constant_tag<bool>, void>':
../boost/hana/core/default.hpp:26:9: required by substitution of 'template<class Method> struct boost::hana::is_default<Method, decltype ((void)(static_cast<boost::hana::default_>((*(Method*)(0)))))> [with Method = boost::hana::not_impl<boost::hana::integral_constant_tag<bool>, void>]'
../boost/hana/concept/logical.hpp:29:62: required from 'struct boost::hana::Logical<boost::hana::integral_constant_tag<bool> >'
../boost/hana/not.hpp:30:15: required from 'constexpr decltype(auto) boost::hana::not_t::operator()(X&&) const [with X = boost::hana::integral_constant<bool, false>]'
../libs/hana/test/_include/laws/searchable.hpp:178:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/fwd/not.hpp:36:12: error: ambiguous template instantiation for 'struct boost::hana::not_impl<boost::hana::integral_constant_tag<bool>, boost::hana::when<true> >'
36 | struct not_impl : not_impl<L, when<true>> { };
| ^~~~~~~~
In file included from ../boost/hana/concept/logical.hpp:20,
from ../boost/hana/if.hpp:15,
from ../boost/hana/adjust_if.hpp:19,
from ../boost/hana/concept/functor.hpp:15,
from ../boost/hana/transform.hpp:16,
from ../boost/hana/find_if.hpp:28,
from ../boost/hana/concept/searchable.hpp:20,
from ../boost/hana/any_of.hpp:18,
from ../boost/hana/all_of.hpp:15,
from ../boost/hana/equal.hpp:16,
from ../libs/hana/test/_include/laws/templates/seq.hpp:6:
../boost/hana/not.hpp:44:12: note: candidates are: 'template<class L, bool condition> struct boost::hana::not_impl<L, boost::hana::when<condition> > [with L = boost::hana::integral_constant_tag<bool>; bool condition = true]'
44 | struct not_impl<L, when<condition>> : hana::default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/not.hpp:65:12: note: 'template<class C> struct boost::hana::not_impl<C, boost::hana::when<(boost::hana::Constant<C>::value && boost::hana::Logical<typename C::value_type>::value)> > [with C = boost::hana::integral_constant_tag<bool>]'
65 | struct not_impl<C, hana::when<
| ^~~~~~~~~~~~~~~~~~~~~~~
66 | hana::Constant<C>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~
67 | hana::Logical<typename C::value_type>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
68 | >> {
| ~~
../boost/hana/fwd/not.hpp:36:12: error: invalid use of incomplete type 'struct boost::hana::not_impl<boost::hana::integral_constant_tag<bool>, boost::hana::when<true> >'
36 | struct not_impl : not_impl<L, when<true>> { };
| ^~~~~~~~
../boost/hana/fwd/not.hpp:36:12: note: declaration of 'struct boost::hana::not_impl<boost::hana::integral_constant_tag<bool>, boost::hana::when<true> >'
In file included from ../boost/hana/while.hpp:13,
from ../boost/hana/concept/logical.hpp:21:
../boost/hana/fwd/while.hpp: In instantiation of 'struct boost::hana::while_impl<boost::hana::integral_constant_tag<bool>, void>':
../boost/hana/core/default.hpp:26:9: required by substitution of 'template<class Method> struct boost::hana::is_default<Method, decltype ((void)(static_cast<boost::hana::default_>((*(Method*)(0)))))> [with Method = boost::hana::while_impl<boost::hana::integral_constant_tag<bool>, void>]'
../boost/hana/concept/logical.hpp:30:64: required from 'struct boost::hana::Logical<boost::hana::integral_constant_tag<bool> >'
../boost/hana/not.hpp:30:15: required from 'constexpr decltype(auto) boost::hana::not_t::operator()(X&&) const [with X = boost::hana::integral_constant<bool, false>]'
../libs/hana/test/_include/laws/searchable.hpp:178:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/fwd/while.hpp:60:12: error: ambiguous template instantiation for 'struct boost::hana::while_impl<boost::hana::integral_constant_tag<bool>, boost::hana::when<true> >'
60 | struct while_impl : while_impl<L, when<true>> { };
| ^~~~~~~~~~
../boost/hana/while.hpp:49:12: note: candidates are: 'template<class L, bool condition> struct boost::hana::while_impl<L, boost::hana::when<condition> > [with L = boost::hana::integral_constant_tag<bool>; bool condition = true]'
49 | struct while_impl<L, hana::when<condition>> : hana::default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/while.hpp:76:12: note: 'template<class C> struct boost::hana::while_impl<C, boost::hana::when<(boost::hana::Constant<C>::value && boost::hana::Logical<typename C::value_type>::value)> > [with C = boost::hana::integral_constant_tag<bool>]'
76 | struct while_impl<C, hana::when<
| ^~~~~~~~~~~~~~~~~~~~~~~~~
77 | hana::Constant<C>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~
78 | hana::Logical<typename C::value_type>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
79 | >> {
| ~~
../boost/hana/fwd/while.hpp:60:12: error: invalid use of incomplete type 'struct boost::hana::while_impl<boost::hana::integral_constant_tag<bool>, boost::hana::when<true> >'
60 | struct while_impl : while_impl<L, when<true>> { };
| ^~~~~~~~~~
../boost/hana/fwd/while.hpp:60:12: note: declaration of 'struct boost::hana::while_impl<boost::hana::integral_constant_tag<bool>, boost::hana::when<true> >'
../boost/hana/not.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::not_t::operator()(X&&) const [with X = boost::hana::integral_constant<bool, false>]':
../libs/hana/test/_include/laws/searchable.hpp:178:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/not.hpp:39:26: error: 'apply' is not a member of 'Not' {aka 'boost::hana::not_impl<boost::hana::integral_constant_tag<bool>, void>'}
39 | return Not::apply(static_cast<X&&>(x));
| ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
In file included from ../boost/hana/detail/operators/comparable.hpp:15,
from ../boost/hana/pair.hpp:20,
from ../boost/hana/unpack.hpp:26,
from ../boost/hana/fold_left.hpp:20,
from ../boost/hana/concept/foldable.hpp:19,
from ../boost/hana/core/to.hpp:16,
from ../boost/hana/bool.hpp:17:
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<9>&; Y = boost::hana::test::_constant<0>&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::_constant<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<9>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; long unsigned int k = 0; long unsigned int Len = 1; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../libs/hana/test/_include/laws/searchable.hpp:182:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = boost::hana::test::Integer<(boost::hana::test::Policy)49, void>; U = boost::hana::test::Integer<(boost::hana::test::Policy)49, void>; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:104:12: note: 'template<class C> struct boost::hana::equal_impl<C, C, boost::hana::when<(boost::hana::Constant<C>::value && boost::hana::Comparable<typename C::value_type>::value)> > [with C = boost::hana::test::Integer<(boost::hana::test::Policy)49, void>]'
104 | struct equal_impl<C, C, when<
| ^~~~~~~~~~~~~~~~~~~~~~
105 | hana::Constant<C>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~
106 | Comparable<typename C::value_type>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
107 | >> {
| ~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: note: declaration of 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<9>&; Y = boost::hana::test::_constant<0>&]':
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::_constant<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<9>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; long unsigned int k = 0; long unsigned int Len = 1; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../libs/hana/test/_include/laws/searchable.hpp:182:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<0>&; Y = boost::hana::test::_constant<0>&]':
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::_constant<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<0>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; long unsigned int k = 0; long unsigned int Len = 1; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../libs/hana/test/_include/laws/searchable.hpp:185:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<1>&; Y = boost::hana::test::_constant<0>&]':
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::_constant<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<1>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; long unsigned int k = 0; long unsigned int Len = 2; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../libs/hana/test/_include/laws/searchable.hpp:198:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<2>&; Y = boost::hana::test::_constant<0>&]':
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::_constant<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<2>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<2> >; long unsigned int k = 0; long unsigned int Len = 3; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<2> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<2> >]'
../libs/hana/test/_include/laws/searchable.hpp:211:13: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<9>; Y = boost::hana::test::_constant<0>]':
../boost/hana/functional/partial.hpp:94:61: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) && [with Y = {boost::hana::test::_constant<0>}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<9>}]'
../boost/hana/index_if.hpp:57:41: required by substitution of 'template<long unsigned int i, long unsigned int N> template<class Xs, class Pred> using f = typename boost::hana::detail::iterate_while<(i + 1), N, static_cast<bool>(typename boost::hana::detail::decay<decltype (declval<Pred>()(boost::hana::at(declval<Xs>(), size_c<i>)))>::type::value)>::f<Xs, Pred> [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; long unsigned int i = 0; long unsigned int N = 1]'
../boost/hana/index_if.hpp:78:31: required by substitution of 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Seq, boost::hana::when<true> >::apply(const Xs&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../boost/hana/index_if.hpp:44:30: required from 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../libs/hana/test/_include/laws/searchable.hpp:322:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
In file included from ../boost/hana/find_if.hpp:26:
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../libs/hana/test/_include/laws/searchable.hpp:322:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: substitution of deduced template arguments resulted in errors seen above
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<0>; Y = boost::hana::test::_constant<0>]':
../boost/hana/functional/partial.hpp:94:61: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) && [with Y = {boost::hana::test::_constant<0>}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<0>}]'
../boost/hana/index_if.hpp:57:41: required by substitution of 'template<long unsigned int i, long unsigned int N> template<class Xs, class Pred> using f = typename boost::hana::detail::iterate_while<(i + 1), N, static_cast<bool>(typename boost::hana::detail::decay<decltype (declval<Pred>()(boost::hana::at(declval<Xs>(), size_c<i>)))>::type::value)>::f<Xs, Pred> [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; long unsigned int i = 0; long unsigned int N = 1]'
../boost/hana/index_if.hpp:78:31: required by substitution of 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Seq, boost::hana::when<true> >::apply(const Xs&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../boost/hana/index_if.hpp:44:30: required from 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../libs/hana/test/_include/laws/searchable.hpp:326:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../libs/hana/test/_include/laws/searchable.hpp:326:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: substitution of deduced template arguments resulted in errors seen above
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../libs/hana/test/_include/laws/searchable.hpp:330:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: template argument deduction/substitution failed:
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >]'
../libs/hana/test/_include/laws/searchable.hpp:334:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::TestSearchable<Seq>::invalid<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<0> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: template argument deduction/substitution failed:
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]'
../libs/hana/test/_include/laws/searchable.hpp:339:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: template argument deduction/substitution failed:
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<1>; Y = boost::hana::test::_constant<0>]':
../boost/hana/functional/partial.hpp:94:61: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) && [with Y = {boost::hana::test::_constant<0>}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::_constant<1>}]'
../boost/hana/index_if.hpp:57:41: required by substitution of 'template<long unsigned int i, long unsigned int N> template<class Xs, class Pred> using f = typename boost::hana::detail::iterate_while<(i + 1), N, static_cast<bool>(typename boost::hana::detail::decay<decltype (declval<Pred>()(boost::hana::at(declval<Xs>(), size_c<i>)))>::type::value)>::f<Xs, Pred> [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; long unsigned int i = 0; long unsigned int N = 2]'
../boost/hana/index_if.hpp:78:31: required by substitution of 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Seq, boost::hana::when<true> >::apply(const Xs&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../boost/hana/index_if.hpp:44:30: required from 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../libs/hana/test/_include/laws/searchable.hpp:343:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../libs/hana/test/_include/laws/searchable.hpp:343:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: substitution of deduced template arguments resulted in errors seen above
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../libs/hana/test/_include/laws/searchable.hpp:347:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: template argument deduction/substitution failed:
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2>, boost::hana::test::TestSearchable<Seq>::invalid<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2>, boost::hana::test::TestSearchable<Seq>::invalid<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >; Tag = Seq]'
../boost/hana/find_if.hpp:48:29: required from 'constexpr auto boost::hana::find_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2>, boost::hana::test::TestSearchable<Seq>::invalid<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >]'
../libs/hana/test/_include/laws/searchable.hpp:351:17: required from 'boost::hana::test::TestSearchable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestSearchable(Xs, Keys) [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> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:96:55: required from here
../boost/hana/index_if.hpp:44:30: error: no matching function for call to 'boost::hana::index_if_impl<Seq, void>::apply(seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::TestSearchable<Seq>::invalid<2>, boost::hana::test::TestSearchable<Seq>::invalid<3> > >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<1> >)'
44 | return IndexIf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/index_if.hpp:78:31: note: candidate: 'template<class Xs, class Pred> static constexpr typename boost::hana::detail::iterate_while<0, decltype (boost::hana::length(xs))::value, false>::f<Xs, Pred> boost::hana::index_if_impl<Tag, boost::hana::when<boost::hana::Foldable<T>::value> >::apply(const Xs&, const Pred&) [with Pred = Xs; Tag = Seq]'
78 | static constexpr auto apply(Xs const& xs, Pred const&)
| ^~~~~
../boost/hana/index_if.hpp:78:31: note: template argument deduction/substitution failed:
../boost/hana/index_if.hpp: In instantiation of 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::_constant<9> >]':
../boost/hana/find_if.hpp:74:51: required from 'static constexpr auto boost::hana::find_if_impl<Tag, boost::hana::when<boost::hana::Iterable<It>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test...
[The content has been trimmed by the report system because it exceeds 65536 bytes]