Test output: teeks99-dkr-dg12 - hana - test~foldable~fold_left_mcd~iterable / gcc-12~c++17
Rev 8a1a5f3a64b5f11de2ff03a1d6fb9372a5c51e66 / Fri, 15 Nov 2024 15:30:25 +0000
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~foldable~fold_left_mcd~iterable.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/foldable/fold_left_mcd/iterable.o" "../libs/hana/test/foldable/fold_left_mcd/iterable.cpp"

In file included from ../boost/hana/detail/operators/comparable.hpp:15,
                 from ../boost/hana/pair.hpp:20,
                 from ../boost/hana/unpack.hpp:26,
                 from ../boost/hana/fold_left.hpp:20,
                 from ../boost/hana/concept/foldable.hpp:19,
                 from ../boost/hana/core/to.hpp:16,
                 from ../boost/hana/bool.hpp:17,
                 from ../libs/hana/test/_include/laws/templates/seq.hpp:5,
                 from ../libs/hana/test/foldable/fold_left_mcd/iterable.cpp:7:
../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<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:81:40:   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>> { };
      |            ^~~~~~~~~~
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 = 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<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:81:40:   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/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<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<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:81:40:   required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
   69 |     struct equal_impl : equal_impl<T, U, when<true>> { };
      |            ^~~~~~~~~~
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = boost::hana::tuple_tag; U = boost::hana::tuple_tag; bool condition = true]'
   55 |     struct equal_impl<T, U, when<condition>> : default_ {
      |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:168:12: note:                 'template<class T, class U> struct boost::hana::equal_impl<T, U, boost::hana::when<(boost::hana::Sequence<S>::value && boost::hana::Sequence<Tag>::value)> > [with T = boost::hana::tuple_tag; U = boost::hana::tuple_tag]'
  168 |     struct equal_impl<T, U, when<Sequence<T>::value && hana::Sequence<U>::value>> {
      |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
   69 |     struct equal_impl : equal_impl<T, U, when<true>> { };
      |            ^~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: note: declaration of 'struct boost::hana::equal_impl<boost::hana::tuple_tag, boost::hana::tuple_tag, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::tuple<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<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:81:40:   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::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<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:81:40:   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<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:81:40:   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<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:81:40:   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<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:81:40:   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<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:81:40:   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<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:81:40:   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<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:81:40:   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>, 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<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:81:40:   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<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:81:40:   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<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:81:40:   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:216:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<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<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:81:40:   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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::_constant<999> > >&; Y = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, 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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::_constant<999> > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, 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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::_constant<999> > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::_constant<999> > >]'
../libs/hana/test/_include/laws/foldable.hpp:225:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > > >&; Y = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, 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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, 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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > > >]'
../libs/hana/test/_include/laws/foldable.hpp:229:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > > >&; Y = boost::hana::tuple<boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, 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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, 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::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<0>, boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > > >]'
../libs/hana/test/_include/laws/foldable.hpp:233:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<int, boost::hana::test::_constant<999> >&; Y = boost::hana::tuple<int, 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, int, boost::hana::test::_constant<999> >; Y = boost::hana::test::injection_result<0, int, 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, int, boost::hana::test::_constant<999> >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::_constant<999> >]'
../libs/hana/test/_include/laws/foldable.hpp:239:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<int, boost::hana::test::injection_result<0, char, boost::hana::test::_constant<999> > >&; Y = boost::hana::tuple<int, boost::hana::test::injection_result<0, char, 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, int, boost::hana::test::injection_result<0, char, boost::hana::test::_constant<999> > >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::injection_result<0, char, 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, int, boost::hana::test::injection_result<0, char, boost::hana::test::_constant<999> > >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::injection_result<0, char, boost::hana::test::_constant<999> > >]'
../libs/hana/test/_include/laws/foldable.hpp:243:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::_constant<999> > > >&; Y = boost::hana::tuple<int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, 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, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::_constant<999> > > >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, 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, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::_constant<999> > > >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::_constant<999> > > >]'
../libs/hana/test/_include/laws/foldable.hpp:247:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::injection_result<0, float, boost::hana::test::_constant<999> > > > >&; Y = boost::hana::tuple<int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::injection_result<0, float, 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, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::injection_result<0, float, boost::hana::test::_constant<999> > > > >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::injection_result<0, float, 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, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::injection_result<0, float, boost::hana::test::_constant<999> > > > >; Y = boost::hana::test::injection_result<0, int, boost::hana::test::injection_result<0, char, boost::hana::test::injection_result<0, double, boost::hana::test::injection_result<0, float, boost::hana::test::_constant<999> > > > >]'
../libs/hana/test/_include/laws/foldable.hpp:251:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<1>, boost::hana::test::_constant<999> >&; Y = boost::hana::tuple<boost::hana::test::_constant<1>, 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<1>, boost::hana::test::_constant<999> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, 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<1>, boost::hana::test::_constant<999> >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::_constant<999> >]'
../libs/hana/test/_include/laws/foldable.hpp:263:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > >&; Y = boost::hana::tuple<boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, 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<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, 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<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::_constant<999> > >]'
../libs/hana/test/_include/laws/foldable.hpp:267:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > >&; Y = boost::hana::tuple<boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, 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<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, 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<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > >; Y = boost::hana::test::injection_result<0, boost::hana::test::_constant<1>, boost::hana::test::injection_result<0, boost::hana::test::_constant<2>, boost::hana::test::injection_result<0, boost::hana::test::_constant<3>, boost::hana::test::_constant<999> > > >]'
../libs/hana/test/_include/laws/foldable.hpp:271:13:   required from 'boost::hana::test::TestFoldable<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestFoldable(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:81:40:   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::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::test::_constant<5> >&; 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::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::test::_constant<5> >&]':
../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, b...

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