Compile [2024-11-15 18:22:18 UTC]: fail
"g++-12" -fvisibility-inlines-hidden -std=c++17 -fPIC -m64 -pthread -O0 -fno-inline -Wall -fvisibility=hidden -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1 -I".." -I"../libs/hana/include" -I"../libs/hana/test/_include" -c -o "/var/boost/run/results/boost/bin.v2/libs/hana/test/test~concept~sequence~orderable.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/concept/sequence/orderable.o" "../libs/hana/test/concept/sequence/orderable.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/concept/sequence/orderable.cpp:6:
../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/comparable.hpp:134:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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/comparable.hpp:134:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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/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::_constant<0> > >; Y = seq_type<boost::hana::tuple<> >]':
../libs/hana/test/_include/laws/comparable.hpp:138:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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<boost::hana::test::_constant<0> > >]':
../libs/hana/test/_include/laws/comparable.hpp:142:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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::_constant<0> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >]':
../libs/hana/test/_include/laws/comparable.hpp:146:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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::_constant<0>, boost::hana::test::_constant<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::_constant<0> > >]':
../libs/hana/test/_include/laws/comparable.hpp:151:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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::_constant<0>, boost::hana::test::_constant<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> > >]':
../libs/hana/test/_include/laws/comparable.hpp:155:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2>, boost::hana::test::_constant<3> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2>, boost::hana::test::_constant<4> > >]':
../libs/hana/test/_include/laws/comparable.hpp:159:13: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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>'}
In file included from ../boost/hana/detail/operators/orderable.hpp:17,
from ../boost/hana/pair.hpp:21:
../boost/hana/fwd/less.hpp: In instantiation of 'struct boost::hana::less_impl<Seq, Seq, void>':
../boost/hana/core/default.hpp:26:9: required by substitution of 'template<class Method> struct boost::hana::is_default<Method, decltype ((void)(static_cast<boost::hana::default_>((*(Method*)(0)))))> [with Method = boost::hana::less_impl<Seq, Seq, void>]'
../boost/hana/concept/orderable.hpp:27:65: required from 'struct boost::hana::Orderable<Seq>'
../boost/hana/less.hpp:44:22: required from 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >]'
../libs/hana/test/_include/laws/orderable.hpp:147:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/fwd/less.hpp:42:12: error: ambiguous template instantiation for 'struct boost::hana::less_impl<Seq, Seq, boost::hana::when<true> >'
42 | struct less_impl : less_impl<T, U, when<true>> { };
| ^~~~~~~~~
In file included from ../boost/hana/maximum.hpp:21,
from ../libs/hana/test/_include/laws/foldable.hpp:33,
from ../libs/hana/test/_include/laws/templates/seq.hpp:13:
../boost/hana/less.hpp:67:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::less_impl<T, U, boost::hana::when<condition> > [with T = Seq; U = Seq; bool condition = true]'
67 | struct less_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/less.hpp:133:12: note: 'template<class T, class U> struct boost::hana::less_impl<T, U, boost::hana::when<(boost::hana::Sequence<S>::value && boost::hana::Sequence<Tag>::value)> > [with T = Seq; U = Seq]'
133 | struct less_impl<T, U, when<
| ^~~~~~~~~~~~~~~~~~~~~
134 | hana::Sequence<T>::value && hana::Sequence<U>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
135 | >> {
| ~~
../boost/hana/fwd/less.hpp:42:12: error: invalid use of incomplete type 'struct boost::hana::less_impl<Seq, Seq, boost::hana::when<true> >'
42 | struct less_impl : less_impl<T, U, when<true>> { };
| ^~~~~~~~~
../boost/hana/fwd/less.hpp:42:12: note: declaration of 'struct boost::hana::less_impl<Seq, Seq, boost::hana::when<true> >'
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >]':
../libs/hana/test/_include/laws/orderable.hpp:147:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<Seq, Seq, void>'}
62 | return Less::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<boost::hana::test::TestOrderable<Seq>::invalid> >]':
../libs/hana/test/_include/laws/orderable.hpp:152:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<Seq, Seq, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::TestOrderable<Seq>::invalid> >; Y = seq_type<boost::hana::tuple<> >]':
../libs/hana/test/_include/laws/orderable.hpp:156:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<Seq, Seq, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<7> > >]':
../libs/hana/test/_include/laws/orderable.hpp:160:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<Seq, Seq, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >]':
../libs/hana/test/_include/laws/orderable.hpp:164:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<Seq, Seq, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<8> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >]':
../libs/hana/test/_include/laws/orderable.hpp:169:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<Seq, Seq, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<8> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >]':
../libs/hana/test/_include/laws/orderable.hpp:174:13: required from 'boost::hana::test::TestOrderable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestOrderable(Xs) [with Xs = boost::hana::tuple<seq_type<boost::hana::tuple<> >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> > >, seq_type<boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2>, boost::hana::test::ct_ord<3> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:74:42: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_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/comparable.hpp:47:17: required from 'boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> [with auto:26 = seq_type<boost::hana::tuple<> >; auto:27 = seq_type<boost::hana::tuple<> >]'
../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 = {const seq_type<boost::hana::tuple<> >&}; long unsigned int ...n = {0}; F = boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>; X = {seq_type<boost::hana::tuple<> >}]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {const seq_type<boost::hana::tuple<> >&, const seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >&, const seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >&, const seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&, const 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 = const boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>, seq_type<boost::hana::tuple<> > >*]'
../boost/hana/basic_tuple.hpp:115:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(const 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<const boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>, seq_type<boost::hana::tuple<> > >*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = const boost::hana::basic_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 = boost::hana::detail::on_each<const boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>, seq_type<boost::hana::tuple<> > >*>]'
../boost/hana/tuple.hpp:233:32: [ skipping 12 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = const 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 = boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::for_each_n_t<1>, 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::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::make_partial_t, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> > >; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = const 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 = boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::for_each_n_t<1>, 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::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::make_partial_t, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> > >]'
../libs/hana/test/_include/laws/base.hpp:44:31: required from 'constexpr auto boost::hana::test::for_each_n_t<i>::operator()(const Xs&, const F&) const [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> > > >; F = boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>; int i = 2]'
../libs/hana/test/_include/laws/comparable.hpp:44:21: required from 'boost::hana::test::TestComparable<T, boost::hana::test::laws>::TestComparable(Xs) [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> > > >; T = Seq]'
../libs/hana/test/_include/laws/comparable.hpp:128:59: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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/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<> >&]':
../boost/hana/functional/partial.hpp:94:61: required from 'constexpr decltype(auto) boost::hana::partial_t<std::integer_sequence<long unsigned int, _Idx ...>, F, X ...>::operator()(Y&& ...) && [with Y = {seq_type<boost::hana::tuple<> >&}; long unsigned int ...n = {0}; F = boost::hana::equal_t; X = {seq_type<boost::hana::tuple<> >}]'
../libs/hana/test/_include/laws/comparable.hpp:62:17: required from 'boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> [with auto:26 = seq_type<boost::hana::tuple<> >; auto:27 = seq_type<boost::hana::tuple<> >]'
../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 = {const seq_type<boost::hana::tuple<> >&}; long unsigned int ...n = {0}; F = boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>; X = {seq_type<boost::hana::tuple<> >}]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {const seq_type<boost::hana::tuple<> >&, const seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >&, const seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >&, const seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >&, const 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 = const boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>, seq_type<boost::hana::tuple<> > >*]'
../boost/hana/basic_tuple.hpp:115:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(const 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<const boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>, seq_type<boost::hana::tuple<> > >*>]'
../boost/hana/unpack.hpp:47:29: [ skipping 13 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = const 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 = boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::for_each_n_t<1>, 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::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::make_partial_t, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> > >; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = const 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 = boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::for_each_n_t<1>, 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::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::make_partial_t, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> > >]'
../libs/hana/test/_include/laws/base.hpp:44:31: required from 'constexpr auto boost::hana::test::for_each_n_t<i>::operator()(const Xs&, const F&) const [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> > > >; F = boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>; int i = 2]'
../libs/hana/test/_include/laws/comparable.hpp:44:21: required from 'boost::hana::test::TestComparable<T, boost::hana::test::laws>::TestComparable(Xs) [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> > > >; T = Seq]'
../libs/hana/test/_include/laws/comparable.hpp:128:59: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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/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<seq_type<boost::hana::tuple<> > >&; Y = boost::hana::tuple<seq_type<boost::hana::tuple<> > >&]'
../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, seq_type<boost::hana::tuple<> > >; Y = boost::hana::test::injection_result<0, seq_type<boost::hana::tuple<> > >]'
../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, seq_type<boost::hana::tuple<> > >; Y = boost::hana::test::injection_result<0, seq_type<boost::hana::tuple<> > >]'
../boost/hana/comparing.hpp:28:33: required from 'constexpr auto boost::hana::detail::equal_by<F>::operator()(X&&, Y&&) const & [with X = seq_type<boost::hana::tuple<> >&; Y = seq_type<boost::hana::tuple<> >&; F = boost::hana::test::_injection<0>]'
../libs/hana/test/_include/laws/comparable.hpp:72:17: required from 'boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> [with auto:26 = seq_type<boost::hana::tuple<> >; auto:27 = seq_type<boost::hana::tuple<> >]'
../boost/hana/functional/partial.hpp:78:43: [ skipping 16 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = const 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 = boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::for_each_n_t<1>, 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::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::make_partial_t, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> > >; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = const 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 = boost::hana::_compose<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::test::for_each_n_t<1>, 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::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::make_partial_t, boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)> > >]'
../libs/hana/test/_include/laws/base.hpp:44:31: required from 'constexpr auto boost::hana::test::for_each_n_t<i>::operator()(const Xs&, const F&) const [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> > > >; F = boost::hana::test::TestComparable<Seq, boost::hana::test::laws>::TestComparable<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<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> > > >)::<lambda(auto:26, auto:27)>; int i = 2]'
../libs/hana/test/_include/laws/comparable.hpp:44:21: required from 'boost::hana::test::TestComparable<T, boost::hana::test::laws>::TestComparable(Xs) [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> > > >; T = Seq]'
../libs/hana/test/_include/laws/comparable.hpp:128:59: required from 'boost::hana::test::TestComparable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestComparable(Xs) [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> > > >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:73:42: 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<tru...
[The content has been trimmed by the report system because it exceeds 65536 bytes]