Test output: teeks99-dkr-mg12 - hana - test~foldable~unpack_mcd~iterable / gcc-12~c++17
Rev 7e09330c84621efd22370bf57289b67c7283ee21 / Sat, 16 Nov 2024 09:26:04 +0000
Compile [2024-11-16 12:16:26 UTC]: fail


    "g++-12"   -fvisibility-inlines-hidden -std=c++17 -fPIC -m64 -pthread -O0 -fno-inline -Wall -fvisibility=hidden  -DBOOST_ALL_NO_LIB=1 -DBOOST_COBALT_USE_STD_PMR=1   -I".." -I"../libs/hana/test/_include" -I"/var/boost/run/boost_root/libs/assert/include" -I"/var/boost/run/boost_root/libs/core/include" -I"/var/boost/run/boost_root/libs/hana/include" -I"/var/boost/run/boost_root/libs/throw_exception/include" -I"/var/boost/run/boost_root/libs/tuple/include"  -c -o "/var/boost/run/results/boost/bin.v2/libs/hana/test/test~foldable~unpack_mcd~iterable.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/foldable/unpack_mcd/iterable.o" "../libs/hana/test/foldable/unpack_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/unpack_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::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::test::_constant<999>&; Y = boost::hana::test::_constant<999>&]':
../libs/hana/test/_include/support/identity.hpp:50:29:   required from 'static constexpr auto boost::hana::equal_impl<Identity, Identity>::apply(Id1, Id2) [with Id1 = identity_t<boost::hana::test::_constant<999> >; Id2 = identity_t<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 = identity_t<boost::hana::test::_constant<999> >; Y = identity_t<boost::hana::test::_constant<999> >]'
../libs/hana/test/_include/laws/foldable.hpp:286:17:   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::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::inje...

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