Compile [2024-11-16 12:16:26 UTC]: fail
"g++-12" -fvisibility-inlines-hidden -std=c++17 -fPIC -m64 -pthread -O0 -fno-inline -Wall -fvisibility=hidden -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1 -I".." -I"../libs/hana/test/_include" -I"/var/boost/run/boost_root/libs/assert/include" -I"/var/boost/run/boost_root/libs/core/include" -I"/var/boost/run/boost_root/libs/hana/include" -I"/var/boost/run/boost_root/libs/throw_exception/include" -I"/var/boost/run/boost_root/libs/tuple/include" -c -o "/var/boost/run/results/boost/bin.v2/libs/hana/test/test~foldable~unpack_mcd~monad.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/foldable/unpack_mcd/monad.o" "../libs/hana/test/foldable/unpack_mcd/monad.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 ../libs/hana/test/_include/laws/templates/seq.hpp:5,
from ../libs/hana/test/foldable/unpack_mcd/monad.cpp:7:
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<Seq, Seq, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >]'
../libs/hana/test/_include/laws/functor.hpp:124:13: required from 'boost::hana::test::TestFunctor<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFunctor(Xs, Elements) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; Elements = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:114:48: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<Seq, Seq, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
In file included from ../libs/hana/test/_include/laws/templates/seq.hpp: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 = Seq; U = Seq; 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 = Seq; U = Seq]'
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<Seq, Seq, 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<Seq, Seq, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >]':
../libs/hana/test/_include/laws/functor.hpp:124:13: required from 'boost::hana::test::TestFunctor<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFunctor(Xs, Elements) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; Elements = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:114:48: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, 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::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 = const boost::hana::test::ct_eq<888>&; Y = boost::hana::test::ct_eq<0>&]'
../boost/hana/functional/partial.hpp:78:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) const & [with Y = {boost::hana::test::ct_eq<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::ct_eq<888>}]'
../boost/hana/adjust_if.hpp:62:43: required from 'constexpr decltype(auto) boost::hana::detail::apply_if<Pred, F>::operator()(X&&) const [with X = boost::hana::test::ct_eq<0>&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined>]'
../boost/hana/transform.hpp:62:42: required from 'constexpr auto boost::hana::transform_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::transformer<F>::operator()(Xs&& ...) const [with Xs = {boost::hana::test::ct_eq<0>&}; F = boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined> >*; S = Seq]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {boost::hana::test::ct_eq<0>}; F = boost::hana::transform_impl<Seq, boost::hana::when<true> >::transformer<boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined> >*>&]'
../boost/hana/unpack.hpp:47:29: [ skipping 7 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/adjust_if.hpp:72:35: required from 'static constexpr auto boost::hana::adjust_if_impl<Fun, boost::hana::when<condition> >::apply(Xs&&, const Pred&, const F&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined>; Fun = Seq; bool condition = true]'
../boost/hana/adjust_if.hpp:37:31: required from 'constexpr auto boost::hana::adjust_if_t::operator()(Xs&&, const Pred&, const F&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined>]'
../boost/hana/replace_if.hpp:46:35: required from 'static constexpr auto boost::hana::replace_if_impl<Fun, boost::hana::when<condition> >::apply(Xs&&, Pred&&, Value&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; Value = boost::hana::test::TestFunctor<Seq>::undefined; Fun = Seq; bool condition = true]'
../boost/hana/replace_if.hpp:36:32: required from 'constexpr auto boost::hana::replace_if_t::operator()(Xs&&, Pred&&, Value&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; Value = boost::hana::test::TestFunctor<Seq>::undefined]'
../libs/hana/test/_include/laws/functor.hpp:129:13: required from 'boost::hana::test::TestFunctor<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFunctor(Xs, Elements) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; Elements = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:114:48: 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>> { };
| ^~~~~~~~~~
../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 = const boost::hana::test::ct_eq<888>&; Y = boost::hana::test::ct_eq<0>&]':
../boost/hana/functional/partial.hpp:78:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) const & [with Y = {boost::hana::test::ct_eq<0>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::ct_eq<888>}]'
../boost/hana/adjust_if.hpp:62:43: required from 'constexpr decltype(auto) boost::hana::detail::apply_if<Pred, F>::operator()(X&&) const [with X = boost::hana::test::ct_eq<0>&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined>]'
../boost/hana/transform.hpp:62:42: required from 'constexpr auto boost::hana::transform_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::transformer<F>::operator()(Xs&& ...) const [with Xs = {boost::hana::test::ct_eq<0>&}; F = boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined> >*; S = Seq]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {boost::hana::test::ct_eq<0>}; F = boost::hana::transform_impl<Seq, boost::hana::when<true> >::transformer<boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined> >*>&]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<boost::hana::test::ct_eq<0> >&; F = boost::hana::transform_impl<Seq, boost::hana::when<true> >::transformer<boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined> >*>&]'
../boost/hana/tuple.hpp:233:32: [ skipping 6 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/adjust_if.hpp:72:35: required from 'static constexpr auto boost::hana::adjust_if_impl<Fun, boost::hana::when<condition> >::apply(Xs&&, const Pred&, const F&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined>; Fun = Seq; bool condition = true]'
../boost/hana/adjust_if.hpp:37:31: required from 'constexpr auto boost::hana::adjust_if_t::operator()(Xs&&, const Pred&, const F&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::TestFunctor<Seq>::undefined>]'
../boost/hana/replace_if.hpp:46:35: required from 'static constexpr auto boost::hana::replace_if_impl<Fun, boost::hana::when<condition> >::apply(Xs&&, Pred&&, Value&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; Value = boost::hana::test::TestFunctor<Seq>::undefined; Fun = Seq; bool condition = true]'
../boost/hana/replace_if.hpp:36:32: required from 'constexpr auto boost::hana::replace_if_t::operator()(Xs&&, Pred&&, Value&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; Value = boost::hana::test::TestFunctor<Seq>::undefined]'
../libs/hana/test/_include/laws/functor.hpp:129:13: required from 'boost::hana::test::TestFunctor<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFunctor(Xs, Elements) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; Elements = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:114:48: 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/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = const boost::hana::test::ct_eq<888>&; Y = boost::hana::test::ct_eq<888>&]':
../boost/hana/functional/partial.hpp:78:43: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) const & [with Y = {boost::hana::test::ct_eq<888>&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {boost::hana::test::ct_eq<888>}]'
../boost/hana/adjust_if.hpp:62:43: required from 'constexpr decltype(auto) boost::hana::detail::apply_if<Pred, F>::operator()(X&&) const [with X = boost::hana::test::ct_eq<888>&; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::ct_eq<999> >]'
../boost/hana/transform.hpp:62:42: required from 'constexpr auto boost::hana::transform_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::transformer<F>::operator()(Xs&& ...) const [with Xs = {boost::hana::test::ct_eq<888>&}; F = boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::ct_eq<999> > >*; S = Seq]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {boost::hana::test::ct_eq<888>}; F = boost::hana::transform_impl<Seq, boost::hana::when<true> >::transformer<boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::ct_eq<999> > >*>&]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<boost::hana::test::ct_eq<888> >&; F = boost::hana::transform_impl<Seq, boost::hana::when<true> >::transformer<boost::hana::detail::apply_if<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >, boost::hana::_always<boost::hana::test::ct_eq<999> > >*>&]'
../boost/hana/tuple.hpp:233:32: [ skipping 6 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/adjust_if.hpp:72:35: required from 'static constexpr auto boost::hana::adjust_if_impl<Fun, boost::hana::when<condition> >::apply(Xs&&, const Pred&, const F&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<888> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::ct_eq<999> >; Fun = Seq; bool condition = true]'
../boost/hana/adjust_if.hpp:37:31: required from 'constexpr auto boost::hana::adjust_if_t::operator()(Xs&&, const Pred&, const F&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<888> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; F = boost::hana::_always<boost::hana::test::ct_eq<999> >]'
../boost/hana/replace_if.hpp:46:35: required from 'static constexpr auto boost::hana::replace_if_impl<Fun, boost::hana::when<condition> >::apply(Xs&&, Pred&&, Value&&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<888> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; Value = boost::hana::test::ct_eq<999>&; Fun = Seq; bool condition = true]'
../boost/hana/replace_if.hpp:36:32: required from 'constexpr auto boost::hana::replace_if_t::operator()(Xs&&, Pred&&, Value&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<888> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<888> >; Value = boost::hana::test::ct_eq<999>&]'
../libs/hana/test/_include/laws/functor.hpp:133:13: required from 'boost::hana::test::TestFunctor<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFunctor(Xs, Elements) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; Elements = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:114:48: 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>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:150:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:154:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:158:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:167:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<1> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<1> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:171:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<2> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<2> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:175:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >]':
../libs/hana/test/_include/laws/applicative.hpp:184:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1> > >]':
../libs/hana/test/_include/laws/applicative.hpp:188:13: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >]':
../libs/hana/test/_include/laws/monad.hpp:151:13: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > >]':
../libs/hana/test/_include/laws/monad.hpp:156:13: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> > > >]':
../libs/hana/test/_include/laws/monad.hpp:181:17: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> > > >]':
../libs/hana/test/_include/laws/monad.hpp:186:17: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<3> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<3> > > >]':
../libs/hana/test/_include/laws/monad.hpp:191:17: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<3> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<4> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<1> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<2> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<3> >, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<4> > > >]':
../libs/hana/test/_include/laws/monad.hpp:196:17: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > >, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > >, boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > >, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > > > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > >, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > >, boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > >, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > > > > >]':
../libs/hana/test/_include/laws/monad.hpp:213:17: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<3> > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::ct_eq<3> > > >]':
../libs/hana/test/_include/laws/applicative.hpp:83:17: required from 'boost::hana::test::TestApplicative<F, boost::hana::test::laws>::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; F = Seq]'
../libs/hana/test/_include/laws/applicative.hpp:119:52: required from 'boost::hana::test::TestApplicative<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestApplicative(Applicatives) [with Applicatives = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:115:43: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<2, boost::hana::test::injection_result<1, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> > > > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<2, boost::hana::test::injection_result<1, boost::hana::test::injection_result<0, boost::hana::test::ct_eq<0> > > > > >]':
../libs/hana/test/_include/laws/monad.hpp:52:17: required from 'boost::hana::test::TestMonad<M, boost::hana::test::laws>::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; M = Seq]'
../libs/hana/test/_include/laws/monad.hpp:129:41: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > > >; Y = seq_type<boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<1, boost::hana::test::ct_eq<0> > > > >]':
../libs/hana/test/_include/laws/monad.hpp:107:17: required from 'boost::hana::test::TestMonad<M, boost::hana::test::laws>::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; M = Seq]'
../libs/hana/test/_include/laws/monad.hpp:129:41: required from 'boost::hana::test::TestMonad<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonad(Xs, XXs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >; XXs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > > > >, seq_type<boost::hana::tuple<seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> > > > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:116:49: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >&]':
../libs/hana/test/_include/laws/functor.hpp:49:17: required from 'boost::hana::test::TestFunctor<Seq, boost::hana::test::laws>::TestFunctor<boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> > >(boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >)::<lambda(auto:76, auto:77)> [with auto:76 = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; auto:77 = seq_type<boost::hana::tuple<> >]'
../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 = {seq_type<boost::hana::tuple<> >&}; long unsigned int ...n = {0}; F = boost::hana::test::TestFunctor<Seq, boost::hana::test::laws>::TestFunctor<boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> > >(boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >)::<lambda(auto:76, auto:77)>; X = {boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >}]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {seq_type<boost::hana::tuple<> >&, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >&, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >&, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >&}; F = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestFunctor<Seq, boost::hana::test::laws>::TestFunctor<boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> > >(boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >)::<lambda(auto:76, auto:77)>, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> > >*]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0, 1, 2, 3, 4}; Xn = {seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >}; F = boost::hana::detail::on_each<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestFunctor<Seq, boost::hana::test::laws>::TestFunctor<boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> > >(boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >)::<lambda(auto:76, auto:77)>, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> > >*>]'
../boost/hana/unpack.hpp:47:29: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::...
[The content has been trimmed by the report system because it exceeds 65536 bytes]