"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~set~laws.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/set/laws.o" "../libs/hana/test/set/laws.cpp"

In file included from ../boost/hana/detail/operators/logical.hpp:16,
                 from ../boost/hana/bool.hpp:21,
                 from ../boost/hana/integral_constant.hpp:13,
                 from ../boost/hana/drop_front.hpp:20,
                 from ../boost/hana/concept/iterable.hpp:20,
                 from ../boost/hana/at.hpp:16,
                 from ../boost/hana/set.hpp:15,
                 from ../libs/hana/test/set/laws.cpp:5:
../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>]'
../boost/hana/all_of.hpp:45:30:   required from 'static constexpr auto boost::hana::all_of_impl<S, boost::hana::when<condition> >::apply(Xs&&, Pred&&) [with Xs = boost::hana::set<>&; Pred = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>; S = boost::hana::set_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 = boost::hana::set<>&; Pred = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>]'
../libs/hana/test/_include/laws/searchable.hpp:86:49:   [ skipping 5 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >; S = boost::hana::set_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40:   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 ../boost/hana/concept/comparable.hpp:19,
                 from ../boost/hana/set.hpp:17:
../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>]'
../boost/hana/all_of.hpp:45:30:   required from 'static constexpr auto boost::hana::all_of_impl<S, boost::hana::when<condition> >::apply(Xs&&, Pred&&) [with Xs = boost::hana::set<>&; Pred = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>; S = boost::hana::set_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 = boost::hana::set<>&; Pred = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>]'
../libs/hana/test/_include/laws/searchable.hpp:86:49:   [ skipping 5 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >; S = boost::hana::set_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40:   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>]':
../boost/hana/all_of.hpp:45:30:   required from 'static constexpr auto boost::hana::all_of_impl<S, boost::hana::when<condition> >::apply(Xs&&, Pred&&) [with Xs = boost::hana::set<>&; Pred = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>; S = boost::hana::set_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 = boost::hana::set<>&; Pred = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>]'
../libs/hana/test/_include/laws/searchable.hpp:86:49:   required from 'boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)> [with auto:54 = boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; auto:55 = boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >; auto:56 = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::_always<boost::hana::integral_constant<bool, false> >, boost::hana::_always<boost::hana::integral_constant<bool, true> > >; auto:57 = boost::hana::set<>]'
../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::set<>&}; long unsigned int ...n = {0, 1, 2}; F = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>; X = {boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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 = {boost::hana::set<>&, boost::hana::set<boost::hana::test::ct_eq<0> >&, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >&, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >&, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >&}; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; Keys = boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >; S = boost::hana::set_tag]'
../libs/hana/test/_include/laws/searchable.hpp:47:40:   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/bool.hpp:25:
../boost/hana/fwd/eval_if.hpp: In instantiation of 'struct boost::hana::eval_if_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, 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::eval_if_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, void>]'
../boost/hana/concept/logical.hpp:28:66:   required from 'struct boost::hana::Logical<boost::hana::test::ct_eq<0> >'
../libs/hana/test/_include/laws/searchable.hpp:87:34:   required from 'boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)> [with auto:64 = boost::hana::test::ct_eq<0>]'
../boost/hana/functional/compose.hpp:71:18:   required from 'constexpr decltype(auto) boost::hana::_compose<F, G>::operator()(X&&, Xs&& ...) const & [with X = const boost::hana::test::ct_eq<0>&; Xs = {}; F = boost::hana::not_t; G = boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)>]'
../boost/hana/set.hpp:173:38:   required from 'constexpr auto boost::hana::any_of_impl<boost::hana::set_tag>::any_of_helper<Pred>::operator()(const X& ...) const [with X = {boost::hana::test::ct_eq<0>}; Pred = boost::hana::_compose<boost::hana::not_t, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>::<lambda(auto:64)> >]'
../boost/hana/basic_tuple.hpp:115:39:   [ skipping 13 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; 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::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >)::<lambda(auto:54, auto:55, auto:56, auto:57)>, boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >, boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<2> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, 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<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0, 1, 2>, boost::hana::test::TestSearchable<boost::hana::set_tag, boost::hana::test::laws>::TestSearchable<boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana::tuple<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >(boost::hana::tuple<boost::hana::set<>, boost::hana::set<boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::set<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, boost::hana::set<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, boost::hana...

[The content has been trimmed by the report system because it exceeds 65536 bytes]