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~iterable_mcd~monad_plus.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/foldable/iterable_mcd/monad_plus.o" "../libs/hana/test/foldable/iterable_mcd/monad_plus.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/iterable_mcd/monad_plus.cpp:7:
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<Seq, Seq, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:132:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<Seq, Seq, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
In file included from ../libs/hana/test/_include/laws/templates/seq.hpp:6:
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = Seq; U = Seq; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:168:12: note: 'template<class T, class U> struct boost::hana::equal_impl<T, U, boost::hana::when<(boost::hana::Sequence<S>::value && boost::hana::Sequence<Tag>::value)> > [with T = Seq; U = Seq]'
168 | struct equal_impl<T, U, when<Sequence<T>::value && hana::Sequence<U>::value>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<Seq, Seq, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/fwd/equal.hpp:69:12: note: declaration of 'struct boost::hana::equal_impl<Seq, Seq, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<> >; Y = seq_type<boost::hana::tuple<> >]':
../libs/hana/test/_include/laws/monad_plus.hpp:132:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ../boost/hana/basic_tuple.hpp:28,
from ../boost/hana/functional/partial.hpp:13,
from ../boost/hana/fold_left.hpp:19:
../boost/hana/fwd/unpack.hpp: In instantiation of 'struct boost::hana::unpack_impl<Seq, void>':
../boost/hana/core/default.hpp:26:9: required by substitution of 'template<class Method> struct boost::hana::is_default<Method, decltype ((void)(static_cast<boost::hana::default_>((*(Method*)(0)))))> [with Method = boost::hana::unpack_impl<Seq, void>]'
../boost/hana/concept/foldable.hpp:28:65: required from 'struct boost::hana::Foldable<Seq>'
../boost/hana/length.hpp:27:15: required from 'constexpr auto boost::hana::length_t::operator()(const Xs&) const [with Xs = seq_type<boost::hana::tuple<> >]'
../boost/hana/concat.hpp:71:61: required from 'static constexpr auto boost::hana::concat_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, Ys&&) [with Xs = seq_type<boost::hana::tuple<> >; Ys = seq_type<boost::hana::tuple<> >; S = Seq]'
../boost/hana/concat.hpp:46:29: required from 'constexpr auto boost::hana::concat_t::operator()(Xs&&, Ys&&) const [with Xs = seq_type<boost::hana::tuple<> >; Ys = seq_type<boost::hana::tuple<> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:139:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/fwd/unpack.hpp:84:12: error: ambiguous template instantiation for 'struct boost::hana::unpack_impl<Seq, boost::hana::when<true> >'
84 | struct unpack_impl : unpack_impl<T, when<true>> { };
| ^~~~~~~~~~~
../boost/hana/unpack.hpp:52:12: note: candidates are: 'template<class T, bool condition> struct boost::hana::unpack_impl<T, boost::hana::when<condition> > [with T = Seq; bool condition = true]'
52 | struct unpack_impl<T, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/unpack.hpp:62:12: note: 'template<class It> struct boost::hana::unpack_impl<It, boost::hana::when<(boost::hana::Iterable<It>::value && (! boost::hana::is_default<boost::hana::length_impl<It> >::value))> > [with It = Seq]'
62 | struct unpack_impl<It, when<
| ^~~~~~~~~~~~~~~~~~~~~
63 | hana::Iterable<It>::value && !is_default<length_impl<It>>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
64 | >> {
| ~~
../boost/hana/fwd/unpack.hpp:84:12: error: invalid use of incomplete type 'struct boost::hana::unpack_impl<Seq, boost::hana::when<true> >'
84 | struct unpack_impl : unpack_impl<T, when<true>> { };
| ^~~~~~~~~~~
../boost/hana/fwd/unpack.hpp:84:12: note: declaration of 'struct boost::hana::unpack_impl<Seq, boost::hana::when<true> >'
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:143:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:147:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:160:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:173:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<int> >; Y = seq_type<boost::hana::tuple<int> >]':
../libs/hana/test/_include/laws/monad_plus.hpp:183:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<int, char> >; Y = seq_type<boost::hana::tuple<int, char> >]':
../libs/hana/test/_include/laws/monad_plus.hpp:191:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<int, char, double> >; Y = seq_type<boost::hana::tuple<int, char, double> >]':
../libs/hana/test/_include/laws/monad_plus.hpp:195:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<> >; F = boost::hana::detail::make_filter_indices<boost::hana::test::TestMonadPlus<Seq>::undefined>]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<> >; Pred = boost::hana::test::TestMonadPlus<Seq>::undefined; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<> >; Pred = boost::hana::test::TestMonadPlus<Seq>::undefined]'
../libs/hana/test/_include/laws/monad_plus.hpp:204:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
47 | return Unpack::apply(static_cast<Xs&&>(xs), static_cast<F&&>(f));
| ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:209:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:213:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:218:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:222:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:226:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:231:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<3> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:235:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<999> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:239:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<999> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:243:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<999> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:247:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<3> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<999>, boost::hana::test::ct_eq<3> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:251:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/unpack.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<999> > >; F = boost::hana::detail::make_filter_indices<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> > >]':
../boost/hana/filter.hpp:123:29: required from 'static constexpr auto boost::hana::filter_impl<S, boost::hana::when<boost::hana::Sequence<S>::value> >::apply(Xs&&, const Pred&) [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >; S = Seq]'
../boost/hana/filter.hpp:48:29: required from 'constexpr auto boost::hana::filter_t::operator()(Xs&&, Pred&&) const [with Xs = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<4>, boost::hana::test::ct_eq<999> > >; Pred = boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::not_equal_t, boost::hana::test::ct_eq<999> >]'
../libs/hana/test/_include/laws/monad_plus.hpp:256:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/unpack.hpp:47:29: error: 'apply' is not a member of 'Unpack' {aka 'boost::hana::unpack_impl<Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:351:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:355:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:369:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(Xs, Predicates, Values) [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> > > >; Predicates = boost::hana::tuple<boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<0> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<3> >, boost::hana::partial_t<std::integer_sequence<long unsigned int, 0>, boost::hana::equal_t, boost::hana::test::ct_eq<10> >, boost::hana::_always<boost::hana::integral_constant<bool, true> >, boost::hana::_always<boost::hana::integral_constant<bool, false> > >; Values = boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<3>, boost::hana::test::ct_eq<10> >; S = Seq]'
../libs/hana/test/_include/laws/templates/seq.hpp:123:62: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<Seq, Seq, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> > >]':
../libs/hana/test/_include/laws/monad_plus.hpp:373:13: required from 'boost::hana::test::TestMonadPlus<S, boost::hana::when<boost::hana::Sequence<S>::value> >::TestMonadPlus(...
[The content has been trimmed by the report system because it exceeds 65536 bytes]