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~tuple~laws.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/tuple/laws.o" "../libs/hana/test/tuple/laws.cpp"
In file included from ../boost/hana/detail/operators/comparable.hpp:15,
from ../boost/hana/pair.hpp:20,
from ../boost/hana/unpack.hpp:26,
from ../boost/hana/fold_left.hpp:20,
from ../boost/hana/concept/foldable.hpp:19,
from ../boost/hana/core/to.hpp:16,
from ../boost/hana/bool.hpp:17,
from ../boost/hana/tuple.hpp:17,
from ../libs/hana/test/tuple/laws.cpp:5:
../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<>; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
In file included from ../libs/hana/test/_include/laws/base.hpp:12,
from ../libs/hana/test/tuple/laws.cpp:7:
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = boost::hana::tuple_tag; U = boost::hana::tuple_tag; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:168:12: note: 'template<class T, class U> struct boost::hana::equal_impl<T, U, boost::hana::when<(boost::hana::Sequence<S>::value && boost::hana::Sequence<Tag>::value)> > [with T = boost::hana::tuple_tag; U = boost::hana::tuple_tag]'
168 | struct equal_impl<T, U, when<Sequence<T>::value && hana::Sequence<U>::value>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: note: declaration of 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<>; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<0> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<>; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<0> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<1>, boost::hana::test::_constant<2>, boost::hana::test::_constant<3> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:38:58: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
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<boost::hana::tuple_tag, boost::hana::tuple_tag, void>':
../boost/hana/core/default.hpp:26:9: required by substitution of 'template<class Method> struct boost::hana::is_default<Method, decltype ((void)(static_cast<boost::hana::default_>((*(Method*)(0)))))> [with Method = boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>]'
../boost/hana/concept/orderable.hpp:27:65: required from 'struct boost::hana::Orderable<boost::hana::tuple_tag>'
../boost/hana/less.hpp:44:22: required from 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<>; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/fwd/less.hpp:42:12: error: ambiguous template instantiation for 'struct boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, 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/tuple/laws.cpp:9:
../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 = boost::hana::tuple_tag; U = boost::hana::tuple_tag; 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 = boost::hana::tuple_tag; U = boost::hana::tuple_tag]'
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<boost::hana::tuple_tag, boost::hana::tuple_tag, 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<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<>; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, 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 = boost::hana::tuple<>; Y = boost::hana::tuple<boost::hana::test::TestOrderable<boost::hana::tuple_tag>::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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::TestOrderable<boost::hana::tuple_tag>::invalid>; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::ct_ord<0> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::ct_ord<1> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<8> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/less.hpp: In instantiation of 'constexpr auto boost::hana::less_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<8> >; Y = 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<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_ord<0> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1> >, boost::hana::tuple<boost::hana::test::ct_ord<0>, boost::hana::test::ct_ord<1>, boost::hana::test::ct_ord<2> >, 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> >, 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>, boost::hana::test::ct_ord<4> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:39:58: required from here
../boost/hana/less.hpp:62:27: error: 'apply' is not a member of 'Less' {aka 'boost::hana::less_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<999>&; Y = boost::hana::test::_constant<999>&]'
../libs/hana/test/_include/laws/foldable.hpp:154:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: 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)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, 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)49, void>; U = boost::hana::test::Integer<(boost::hana::test::Policy)49, 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)49, 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)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, 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)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<999>&; Y = boost::hana::test::_constant<999>&]':
../libs/hana/test/_include/laws/foldable.hpp:154:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: 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)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, 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 = boost::hana::tuple<boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >&; Y = boost::hana::tuple<boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >&]':
../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, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >]'
../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, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >]'
../libs/hana/test/_include/laws/foldable.hpp:159:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >]'
../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, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >]'
../libs/hana/test/_include/laws/foldable.hpp:163:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >]'
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >]'
../libs/hana/test/_include/laws/foldable.hpp:167:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >]'
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<1> >, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >]'
../libs/hana/test/_include/laws/foldable.hpp:171:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<999>, int>&; Y = boost::hana::tuple<boost::hana::test::_constant<999>, int>&]':
../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, boost::hana::test::_constant<999>, int>; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>]'
../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, boost::hana::test::_constant<999>, int>; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>]'
../libs/hana/test/_include/laws/foldable.hpp:176:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>]'
../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, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>]'
../libs/hana/test/_include/laws/foldable.hpp:180:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>]'
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>]'
../libs/hana/test/_include/laws/foldable.hpp:184:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>, float>&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>, float>&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>, float>; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>, float>]'
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>, float>; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, int>, char>, double>, float>]'
../libs/hana/test/_include/laws/foldable.hpp:188:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::_constant<999>; Y = boost::hana::test::_constant<999>&]':
../libs/hana/test/_include/laws/foldable.hpp:196:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: 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)49, void>, boost::hana::test::Integer<(boost::hana::test::Policy)49, void>, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >&; Y = boost::hana::tuple<boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >&]':
../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, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >]'
../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, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >]'
../libs/hana/test/_include/laws/foldable.hpp:200:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >]'
../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, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >]'
../libs/hana/test/_include/laws/foldable.hpp:204:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >&; Y = boost::hana::tuple<boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >&]':
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >]'
../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, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >; Y = boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::injection_result<0, boost::hana::test::_constant<999>, boost::hana::test::_constant<2> >, boost::hana::test::_constant<3> >, boost::hana::test::_constant<4> >]'
../libs/hana/test/_include/laws/foldable.hpp:208:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost::hana::tuple<boost::hana::test::ct_eq<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<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4> >, 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>, boost::hana::test::ct_eq<5> > >; S = boost::hana::tuple_tag]'
../libs/hana/test/tuple/laws.cpp:40:56: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<999> >&; Y = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::_constant<999> >&]':
../libs/hana/test/_include/laws/base.hpp:163:28: required from 'static constexpr auto boost::hana::equal_impl<boost::hana::test::InjectionResult, boost::hana::test::InjectionResult>::apply(X, Y) [with X = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::_constant<999> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::_constant<999> >]'
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::_constant<999> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::_constant<999> >]'
../libs/hana/test/_include/laws/foldable.hpp:221:13: required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(Xs) [with Xs = boost::hana::tuple<boost::hana::tuple<>, boost::hana::tuple<boost::hana::test::ct_eq<0> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> >, boost...
[The content has been trimmed by the report system because it exceeds 65536 bytes]