Compile [2024-11-15 18:22:19 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/include" -I"../libs/hana/test/_include" -c -o "/var/boost/run/results/boost/bin.v2/libs/hana/test/test~ext~std~array~searchable.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/ext/std/array/searchable.o" "../libs/hana/test/ext/std/array/searchable.cpp"
In file included from ../boost/hana/optional.hpp:25,
from ../boost/hana/detail/index_if.hpp:17,
from ../boost/hana/tuple.hpp:21,
from ../libs/hana/test/ext/std/array/searchable.cpp:7:
../boost/hana/fwd/any_of.hpp: In instantiation of 'struct boost::hana::any_of_impl<boost::hana::ext::std::array_tag, 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::any_of_impl<boost::hana::ext::std::array_tag, void>]'
../boost/hana/concept/searchable.hpp:27:65: required from 'struct boost::hana::Searchable<std::array<boost::hana::test::ct_eq<0>, 0> >'
../libs/hana/test/_include/laws/searchable.hpp:55:31: required from 'boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:2)> [with auto:2 = std::array<boost::hana::test::ct_eq<0>, 0>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::array<boost::hana::test::ct_eq<0>, 0>&, std::array<boost::hana::test::ct_eq<0>, 1>&, std::array<boost::hana::test::ct_eq<0>, 2>&, std::array<boost::hana::test::ct_eq<0>, 3>&, std::array<boost::hana::test::ct_eq<0>, 4>&}; F = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:2)>*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:2)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:2)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:2)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:2)>]'
../libs/hana/test/_include/laws/searchable.hpp:54:27: required from 'boost::hana::test::TestSearchable<S, boost::hana::test::laws>::TestSearchable(Searchables, Keys) [with Searchables = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<0> >; S = boost::hana::ext::std::array_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40: required from here
../boost/hana/fwd/any_of.hpp:42:12: error: ambiguous template instantiation for 'struct boost::hana::any_of_impl<boost::hana::ext::std::array_tag, boost::hana::when<true> >'
42 | struct any_of_impl : any_of_impl<S, when<true>> { };
| ^~~~~~~~~~~
In file included from ../boost/hana/all_of.hpp:15,
from ../boost/hana/equal.hpp:16,
from ../libs/hana/test/_include/laws/base.hpp:12,
from ../libs/hana/test/ext/std/array/searchable.cpp:9:
../boost/hana/any_of.hpp:53:12: note: candidates are: 'template<class S, bool condition> struct boost::hana::any_of_impl<S, boost::hana::when<condition> > [with S = boost::hana::ext::std::array_tag; bool condition = true]'
53 | struct any_of_impl<S, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/any_of.hpp:105:12: note: 'template<class It> struct boost::hana::any_of_impl<It, boost::hana::when<(boost::hana::Iterable<It>::value && (! boost::hana::Sequence<S>::value))> > [with It = boost::hana::ext::std::array_tag]'
105 | struct any_of_impl<It, when<
| ^~~~~~~~~~~~~~~~~~~~~
106 | hana::Iterable<It>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
107 | !Sequence<It>::value
| ~~~~~~~~~~~~~~~~~~~~
108 | >> {
| ~~
../boost/hana/fwd/any_of.hpp:42:12: error: invalid use of incomplete type 'struct boost::hana::any_of_impl<boost::hana::ext::std::array_tag, boost::hana::when<true> >'
42 | struct any_of_impl : any_of_impl<S, when<true>> { };
| ^~~~~~~~~~~
../boost/hana/fwd/any_of.hpp:42:12: note: declaration of 'struct boost::hana::any_of_impl<boost::hana::ext::std::array_tag, boost::hana::when<true> >'
../boost/hana/any_of.hpp: In instantiation of 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 0>&; Pred = boost::hana::_compose<boost::hana::not_t, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)> >]':
../boost/hana/all_of.hpp:45:43: required from 'static constexpr auto boost::hana::all_of_impl<S, boost::hana::when<condition> >::apply(Xs&&, Pred&&) [with Xs = std::array<boost::hana::test::ct_eq<0>, 0>&; Pred = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)>; S = boost::hana::ext::std::array_tag; bool condition = true]'
../boost/hana/all_of.hpp:37:28: required from 'constexpr auto boost::hana::all_of_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 0>&; Pred = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)>]'
../libs/hana/test/_include/laws/searchable.hpp:86:49: required from 'boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)> [with auto:3 = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; auto:4 = boost::hana::tuple<boost::hana::test::ct_eq<0> >; auto:5 = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >; auto:6 = std::array<boost::hana::test::ct_eq<0>, 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 = {std::array<boost::hana::test::ct_eq<0>, 0>&}; long unsigned int ...n = {0, 1, 2}; F = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>; X = {boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >}]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::array<boost::hana::test::ct_eq<0>, 0>&, std::array<boost::hana::test::ct_eq<0>, 1>&, std::array<boost::hana::test::ct_eq<0>, 2>&, std::array<boost::hana::test::ct_eq<0>, 3>&, std::array<boost::hana::test::ct_eq<0>, 4>&}; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >]'
../libs/hana/test/_include/laws/searchable.hpp:66:27: required from 'boost::hana::test::TestSearchable<S, boost::hana::test::laws>::TestSearchable(Searchables, Keys) [with Searchables = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<0> >; S = boost::hana::ext::std::array_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40: required from here
../boost/hana/any_of.hpp:48:28: error: 'apply' is not a member of 'AnyOf' {aka 'boost::hana::any_of_impl<boost::hana::ext::std::array_tag, void>'}
48 | return AnyOf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ../boost/hana/basic_tuple.hpp:28,
from ../boost/hana/functional/partial.hpp:13,
from ../boost/hana/fold_left.hpp:19,
from ../boost/hana/concept/foldable.hpp:19,
from ../boost/hana/core/to.hpp:16,
from ../boost/hana/bool.hpp:17,
from ../boost/hana/ext/std/array.hpp:13,
from ../libs/hana/test/ext/std/array/searchable.cpp:5:
../boost/hana/fwd/unpack.hpp: In instantiation of 'struct boost::hana::unpack_impl<boost::hana::ext::std::array_tag, 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::unpack_impl<boost::hana::ext::std::array_tag, void>]'
../boost/hana/concept/foldable.hpp:28:65: required from 'struct boost::hana::Foldable<boost::hana::ext::std::array_tag>'
../boost/hana/index_if.hpp:86:50: required by substitution of 'template<class It> struct boost::hana::index_if_impl<It, boost::hana::when<(! boost::hana::Foldable<T>::value)> > [with It = boost::hana::ext::std::array_tag]'
../boost/hana/fwd/index_if.hpp:48:12: required from 'struct boost::hana::index_if_impl<boost::hana::ext::std::array_tag, void>'
../boost/hana/index_if.hpp:44:30: required from 'constexpr auto boost::hana::index_if_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 0>&; Pred = boost::hana::_always<boost::hana::integral_constant<bool, false> >]'
../boost/hana/find_if.hpp:74:51: [ skipping 7 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >]'
../libs/hana/test/_include/laws/searchable.hpp:66:27: required from 'boost::hana::test::TestSearchable<S, boost::hana::test::laws>::TestSearchable(Searchables, Keys) [with Searchables = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<0> >; S = boost::hana::ext::std::array_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40: required from here
../boost/hana/fwd/unpack.hpp:84:12: error: ambiguous template instantiation for 'struct boost::hana::unpack_impl<boost::hana::ext::std::array_tag, boost::hana::when<true> >'
84 | struct unpack_impl : unpack_impl<T, when<true>> { };
| ^~~~~~~~~~~
In file included from ../boost/hana/fold_left.hpp:20:
../boost/hana/unpack.hpp:52:12: note: candidates are: 'template<class T, bool condition> struct boost::hana::unpack_impl<T, boost::hana::when<condition> > [with T = boost::hana::ext::std::array_tag; bool condition = true]'
52 | struct unpack_impl<T, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/unpack.hpp:62:12: note: 'template<class It> struct boost::hana::unpack_impl<It, boost::hana::when<(boost::hana::Iterable<It>::value && (! boost::hana::is_default<boost::hana::length_impl<It> >::value))> > [with It = boost::hana::ext::std::array_tag]'
62 | struct unpack_impl<It, when<
| ^~~~~~~~~~~~~~~~~~~~~
63 | hana::Iterable<It>::value && !is_default<length_impl<It>>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
64 | >> {
| ~~
../boost/hana/fwd/unpack.hpp:84:12: error: invalid use of incomplete type 'struct boost::hana::unpack_impl<boost::hana::ext::std::array_tag, boost::hana::when<true> >'
84 | struct unpack_impl : unpack_impl<T, when<true>> { };
| ^~~~~~~~~~~
../boost/hana/fwd/unpack.hpp:84:12: note: declaration of 'struct boost::hana::unpack_impl<boost::hana::ext::std::array_tag, boost::hana::when<true> >'
../boost/hana/any_of.hpp: In instantiation of 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 1>&; Pred = boost::hana::_compose<boost::hana::not_t, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)> >]':
../boost/hana/all_of.hpp:45:43: required from 'static constexpr auto boost::hana::all_of_impl<S, boost::hana::when<condition> >::apply(Xs&&, Pred&&) [with Xs = std::array<boost::hana::test::ct_eq<0>, 1>&; Pred = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)>; S = boost::hana::ext::std::array_tag; bool condition = true]'
../boost/hana/all_of.hpp:37:28: required from 'constexpr auto boost::hana::all_of_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 1>&; Pred = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)>]'
../libs/hana/test/_include/laws/searchable.hpp:86:49: required from 'boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)> [with auto:3 = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; auto:4 = boost::hana::tuple<boost::hana::test::ct_eq<0> >; auto:5 = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >; auto:6 = std::array<boost::hana::test::ct_eq<0>, 1>]'
../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 = {std::array<boost::hana::test::ct_eq<0>, 1>&}; long unsigned int ...n = {0, 1, 2}; F = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>; X = {boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >}]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::array<boost::hana::test::ct_eq<0>, 0>&, std::array<boost::hana::test::ct_eq<0>, 1>&, std::array<boost::hana::test::ct_eq<0>, 2>&, std::array<boost::hana::test::ct_eq<0>, 3>&, std::array<boost::hana::test::ct_eq<0>, 4>&}; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >]'
../libs/hana/test/_include/laws/searchable.hpp:66:27: required from 'boost::hana::test::TestSearchable<S, boost::hana::test::laws>::TestSearchable(Searchables, Keys) [with Searchables = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<0> >; S = boost::hana::ext::std::array_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40: required from here
../boost/hana/any_of.hpp:48:28: error: 'apply' is not a member of 'AnyOf' {aka 'boost::hana::any_of_impl<boost::hana::ext::std::array_tag, void>'}
48 | return AnyOf::apply(static_cast<Xs&&>(xs), static_cast<Pred&&>(pred));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/any_of.hpp: In instantiation of 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 2>&; Pred = boost::hana::_compose<boost::hana::not_t, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)> >]':
../boost/hana/all_of.hpp:45:43: required from 'static constexpr auto boost::hana::all_of_impl<S, boost::hana::when<condition> >::apply(Xs&&, Pred&&) [with Xs = std::array<boost::hana::test::ct_eq<0>, 2>&; Pred = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)>; S = boost::hana::ext::std::array_tag; bool condition = true]'
../boost/hana/all_of.hpp:37:28: required from 'constexpr auto boost::hana::all_of_t::operator()(Xs&&, Pred&&) const [with Xs = std::array<boost::hana::test::ct_eq<0>, 2>&; Pred = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>::<lambda(auto:13)>]'
../libs/hana/test/_include/laws/searchable.hpp:86:49: required from 'boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)> [with auto:3 = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >; auto:4 = boost::hana::tuple<boost::hana::test::ct_eq<0> >; auto:5 = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >; auto:6 = std::array<boost::hana::test::ct_eq<0>, 2>]'
../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 = {std::array<boost::hana::test::ct_eq<0>, 2>&}; long unsigned int ...n = {0, 1, 2}; F = boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>; X = {boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >}]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::array<boost::hana::test::ct_eq<0>, 0>&, std::array<boost::hana::test::ct_eq<0>, 1>&, std::array<boost::hana::test::ct_eq<0>, 2>&, std::array<boost::hana::test::ct_eq<0>, 3>&, std::array<boost::hana::test::ct_eq<0>, 4>&}; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> > >(boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >)::<lambda(auto:3, auto:4, auto:5, auto:6)>, boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > > >*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<std::array<boost::hana::test::ct_eq<0>, 0>, std::array<boost::hana::test::ct_eq<0>, 1>, std::array<boost::hana::test::ct_eq<0>, 2>, std::array<boost::hana::test::ct_eq<0>, 3>, std::array<boost::hana::test::ct_eq<0>, 4> >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::ext::std::array_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<std::array<boost::ha...
[The content has been trimmed by the report system because it exceeds 65536 bytes]