Compile [2024-11-16 12:16:25 UTC]: fail
"g++-12" -fvisibility-inlines-hidden -std=c++17 -fPIC -m64 -pthread -O0 -fno-inline -Wall -fvisibility=hidden -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1 -I".." -I"../libs/hana/test/_include" -I"/var/boost/run/boost_root/libs/assert/include" -I"/var/boost/run/boost_root/libs/core/include" -I"/var/boost/run/boost_root/libs/hana/include" -I"/var/boost/run/boost_root/libs/throw_exception/include" -I"/var/boost/run/boost_root/libs/tuple/include" -c -o "/var/boost/run/results/boost/bin.v2/libs/hana/test/test~map~fold_right.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/map/fold_right.o" "../libs/hana/test/map/fold_right.cpp"
In file included from ../boost/hana/detail/operators/comparable.hpp:15,
from ../boost/hana/pair.hpp:20,
from ../boost/hana/unpack.hpp:26,
from ../boost/hana/fold_left.hpp:20,
from ../boost/hana/concept/foldable.hpp:19,
from ../boost/hana/core/to.hpp:16,
from ../boost/hana/bool.hpp:17,
from ../boost/hana/eval_if.hpp:15,
from ../boost/hana/concept/logical.hpp:19,
from ../boost/hana/if.hpp:15,
from ../boost/hana/assert.hpp:16,
from ../libs/hana/test/map/fold_right.cpp:5:
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::ct_eq<999>&; Y = boost::hana::test::ct_eq<999>&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::ct_eq<999>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::ct_eq<999>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<999> >; long unsigned int k = 0; long unsigned int Len = 1; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<999> >]'
../boost/hana/contains.hpp:45:32: required from 'static constexpr auto boost::hana::contains_impl<S, boost::hana::when<condition> >::apply(Xs&&, X&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; X = const boost::hana::test::ct_eq<999>&; S = Seq; bool condition = true]'
../boost/hana/contains.hpp:36:31: required from 'constexpr auto boost::hana::contains_t::operator()(Xs&&, Key&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Key = const boost::hana::test::ct_eq<999>&]'
../boost/hana/functional/infix.hpp:92:23: required from 'constexpr decltype(auto) boost::hana::infix_detail::infix_t<left, right, F>::operator()(X&& ...) const & [with X = {seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&, const boost::hana::test::ct_eq<999>&}; bool left = false; bool right = false; F = boost::hana::contains_t]'
../libs/hana/test/map/fold_right.cpp:47:9: required from 'main()::<lambda(auto:2 ...)> [with auto:2 = {}]'
../libs/hana/test/map/fold_right.cpp:53:10: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
In file included from ../boost/hana/contains.hpp:19,
from ../libs/hana/test/map/fold_right.cpp:6:
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = boost::hana::test::Integer<(boost::hana::test::Policy)17, void>; U = boost::hana::test::Integer<(boost::hana::test::Policy)17, void>; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:104:12: note: 'template<class C> struct boost::hana::equal_impl<C, C, boost::hana::when<(boost::hana::Constant<C>::value && boost::hana::Comparable<typename C::value_type>::value)> > [with C = boost::hana::test::Integer<(boost::hana::test::Policy)17, void>]'
104 | struct equal_impl<C, C, when<
| ^~~~~~~~~~~~~~~~~~~~~~
105 | hana::Constant<C>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~
106 | Comparable<typename C::value_type>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
107 | >> {
| ~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: note: declaration of 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::ct_eq<999>&; Y = boost::hana::test::ct_eq<999>&]':
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::ct_eq<999>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::ct_eq<999>}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<999> >; long unsigned int k = 0; long unsigned int Len = 1; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<999> >]'
../boost/hana/contains.hpp:45:32: required from 'static constexpr auto boost::hana::contains_impl<S, boost::hana::when<condition> >::apply(Xs&&, X&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; X = const boost::hana::test::ct_eq<999>&; S = Seq; bool condition = true]'
../boost/hana/contains.hpp:36:31: required from 'constexpr auto boost::hana::contains_t::operator()(Xs&&, Key&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&; Key = const boost::hana::test::ct_eq<999>&]'
../boost/hana/functional/infix.hpp:92:23: required from 'constexpr decltype(auto) boost::hana::infix_detail::infix_t<left, right, F>::operator()(X&& ...) const & [with X = {seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >&, const boost::hana::test::ct_eq<999>&}; bool left = false; bool right = false; F = boost::hana::contains_t]'
../libs/hana/test/map/fold_right.cpp:47:9: required from 'main()::<lambda(auto:2 ...)> [with auto:2 = {}]'
../libs/hana/test/map/fold_right.cpp:53:10: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&; Y = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&]'
../libs/hana/test/_include/laws/base.hpp:163:28: required from 'static constexpr auto boost::hana::equal_impl<boost::hana::test::InjectionResult, boost::hana::test::InjectionResult>::apply(X, Y) [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >]'
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >}]'
../boost/hana/any_of.hpp:79:43: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > >]'
../boost/hana/contains.hpp:45:32: required from 'static constexpr auto boost::hana::contains_impl<S, boost::hana::when<condition> >::apply(Xs&&, X&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >; S = Seq; bool condition = true]'
../boost/hana/contains.hpp:36:31: required from 'constexpr auto boost::hana::contains_t::operator()(Xs&&, Key&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; Key = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >]'
../boost/hana/functional/infix.hpp:92:23: required from 'constexpr decltype(auto) boost::hana::infix_detail::infix_t<left, right, F>::operator()(X&& ...) const & [with X = {seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >}; bool left = false; bool right = false; F = boost::hana::contains_t]'
../libs/hana/test/map/fold_right.cpp:47:9: required from 'main()::<lambda(auto:2 ...)> [with auto:2 = {product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >}]'
../libs/hana/test/map/fold_right.cpp:54:10: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = boost::hana::tuple_tag; U = boost::hana::tuple_tag; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:168:12: note: 'template<class T, class U> struct boost::hana::equal_impl<T, U, boost::hana::when<(boost::hana::Sequence<S>::value && boost::hana::Sequence<Tag>::value)> > [with T = boost::hana::tuple_tag; U = boost::hana::tuple_tag]'
168 | struct equal_impl<T, U, when<Sequence<T>::value && hana::Sequence<U>::value>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: note: declaration of 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&; Y = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&]':
../libs/hana/test/_include/laws/base.hpp:163:28: required from 'static constexpr auto boost::hana::equal_impl<boost::hana::test::InjectionResult, boost::hana::test::InjectionResult>::apply(X, Y) [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >]'
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > >; long unsigned int k = 0; long unsigned int Len = 1; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > >]'
../boost/hana/contains.hpp:45:32: required from 'static constexpr auto boost::hana::contains_impl<S, boost::hana::when<condition> >::apply(Xs&&, X&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >; S = Seq; bool condition = true]'
../boost/hana/contains.hpp:36:31: required from 'constexpr auto boost::hana::contains_t::operator()(Xs&&, Key&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&; Key = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >]'
../boost/hana/functional/infix.hpp:92:23: required from 'constexpr decltype(auto) boost::hana::infix_detail::infix_t<left, right, F>::operator()(X&& ...) const & [with X = {seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >&, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> >}; bool left = false; bool right = false; F = boost::hana::contains_t]'
../libs/hana/test/map/fold_right.cpp:47:9: required from 'main()::<lambda(auto:2 ...)> [with auto:2 = {product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >}]'
../libs/hana/test/map/fold_right.cpp:54:10: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >&; Y = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >&]':
../libs/hana/test/_include/laws/base.hpp:163:28: required from 'static constexpr auto boost::hana::equal_impl<boost::hana::test::InjectionResult, boost::hana::test::InjectionResult>::apply(X, Y) [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >]'
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >&; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >; long unsigned int k = 0; long unsigned int Len = 2; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >]'
../boost/hana/contains.hpp:45:32: required from 'static constexpr auto boost::hana::contains_impl<S, boost::hana::when<condition> >::apply(Xs&&, X&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >&; X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >; S = Seq; bool condition = true]'
../boost/hana/contains.hpp:36:31: required from 'constexpr auto boost::hana::contains_t::operator()(Xs&&, Key&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >&; Key = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >]'
../boost/hana/functional/infix.hpp:92:23: required from 'constexpr decltype(auto) boost::hana::infix_detail::infix_t<left, right, F>::operator()(X&& ...) const & [with X = {seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >&, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > >}; bool left = false; bool right = false; F = boost::hana::contains_t]'
../libs/hana/test/map/fold_right.cpp:47:9: required from 'main()::<lambda(auto:2 ...)> [with auto:2 = {product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >}]'
../libs/hana/test/map/fold_right.cpp:55:10: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >&; Y = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >&]':
../libs/hana/test/_include/laws/base.hpp:163:28: required from 'static constexpr auto boost::hana::equal_impl<boost::hana::test::InjectionResult, boost::hana::test::InjectionResult>::apply(X, Y) [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >]'
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >&; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >; long unsigned int k = 0; long unsigned int Len = 6; S = Seq; boost::hana::false_ = boost::hana::integral_constant<bool, false>]'
../boost/hana/any_of.hpp:97:61: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >; S = Seq]'
../boost/hana/any_of.hpp:48:28: required from 'constexpr auto boost::hana::any_of_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > > >&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >]'
../boost/hana/contains.hpp:45:32: required from 'static constexpr auto boost::hana::contains_impl<S, boost::hana::when<condition> >::apply(Xs&&, X&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > > >&; X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >; S = Seq; bool condition = true]'
../boost/hana/contains.hpp:36:31: required from 'constexpr auto boost::hana::contains_t::operator()(Xs&&, Key&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > > >&; Key = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >]'
../boost/hana/functional/infix.hpp:92:23: required from 'constexpr decltype(auto) boost::hana::infix_detail::infix_t<left, right, F>::operator()(X&& ...) const & [with X = {seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > > >&, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > >}; bool left = false; bool right = false; F = boost::hana::contains_t]'
../libs/hana/test/map/fold_right.cpp:47:9: required from 'main()::<lambda(auto:2 ...)> [with auto:2 = {product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >}]'
../libs/hana/test/map/fold_right.cpp:56:10: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >&; Y = boost::hana::tuple<product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >&]':
../libs/hana/test/_include/laws/base.hpp:163:28: required from 'static constexpr auto boost::hana::equal_impl<boost::hana::test::InjectionResult, boost::hana::test::InjectionResult>::apply(X, Y) [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >]'
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >&; Y = boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >&]'
../boost/hana/functional/partial.hpp:86:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) & [with Y = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >}]'
../boost/hana/any_of.hpp:79:43: required from 'static constexpr auto boost::hana::any_of_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::any_of_helper<k, Len>::apply(boost::hana::false_, Xs&&, Pred&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<-2> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<-1> >, boost::hana::test::ct_eq<999> > > > >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<-3> >, boost::hana::test::injection_result<0, product_t<boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<-4> >, boost::hana::test::injection_result<0, product_t<boo