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~sequence.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/foldable/unpack_mcd/sequence.o" "../libs/hana/test/foldable/unpack_mcd/sequence.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/sequence.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/sequence.hpp:84:17: required from 'boost::hana::test::TestSequence<S, boost::hana::test::laws>::TestSequence() [with S = Seq]'
../libs/hana/test/_include/laws/sequence.hpp:32:12: 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/sequence.hpp:84:17: required from 'boost::hana::test::TestSequence<S, boost::hana::test::laws>::TestSequence() [with S = Seq]'
../libs/hana/test/_include/laws/sequence.hpp:32:12: 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::integer<0, (boost::hana::test::Policy)17, void> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::integer<0, (boost::hana::test::Policy)17, void> > >]':
../libs/hana/test/_include/laws/sequence.hpp:88:17: required from 'boost::hana::test::TestSequence<S, boost::hana::test::laws>::TestSequence() [with S = Seq]'
../libs/hana/test/_include/laws/sequence.hpp:32:12: 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::integer<0, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<1, (boost::hana::test::Policy)17, void> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::integer<0, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<1, (boost::hana::test::Policy)17, void> > >]':
../libs/hana/test/_include/laws/sequence.hpp:92:17: required from 'boost::hana::test::TestSequence<S, boost::hana::test::laws>::TestSequence() [with S = Seq]'
../libs/hana/test/_include/laws/sequence.hpp:32:12: 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::integer<0, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<1, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<2, (boost::hana::test::Policy)17, void> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::integer<0, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<1, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<2, (boost::hana::test::Policy)17, void> > >]':
../libs/hana/test/_include/laws/sequence.hpp:96:17: required from 'boost::hana::test::TestSequence<S, boost::hana::test::laws>::TestSequence() [with S = Seq]'
../libs/hana/test/_include/laws/sequence.hpp:32:12: 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::integer<0, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<1, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<2, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<3, (boost::hana::test::Policy)17, void> > >; Y = seq_type<boost::hana::tuple<boost::hana::test::integer<0, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<1, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<2, (boost::hana::test::Policy)17, void>, boost::hana::test::integer<3, (boost::hana::test::Policy)17, void> > >]':
../libs/hana/test/_include/laws/sequence.hpp:100:17: required from 'boost::hana::test::TestSequence<S, boost::hana::test::laws>::TestSequence() [with S = Seq]'
../libs/hana/test/_include/laws/sequence.hpp:32:12: 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>'}