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~concept~struct~laws.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/concept/struct/laws.o" "../libs/hana/test/concept/struct/laws.cpp"
In file included from ../boost/hana/detail/operators/comparable.hpp:15,
from ../boost/hana/pair.hpp:20,
from ../boost/hana/unpack.hpp:26,
from ../boost/hana/fold_left.hpp:20,
from ../boost/hana/concept/foldable.hpp:19,
from ../boost/hana/core/to.hpp:16,
from ../boost/hana/bool.hpp:17,
from ../boost/hana/integral_constant.hpp:13,
from ../libs/hana/test/concept/struct/laws.cpp:6:
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<minimal_struct_tag<0>, minimal_struct_tag<0>, 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::equal_impl<minimal_struct_tag<0>, minimal_struct_tag<0>, void>]'
../boost/hana/concept/comparable.hpp:27:64: required from 'struct boost::hana::Comparable<minimal_struct_t<> >'
../libs/hana/test/_include/laws/comparable.hpp:41:37: required from 'boost::hana::test::TestComparable<minimal_struct_tag<0>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:3)> [with auto:3 = minimal_struct_t<>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<>&}; F = boost::hana::test::TestComparable<minimal_struct_tag<0>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:3)>*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestComparable<minimal_struct_tag<0>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:3)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestComparable<minimal_struct_tag<0>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:3)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestComparable<minimal_struct_tag<0>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:3)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestComparable<minimal_struct_tag<0>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:3)>]'
../libs/hana/test/_include/laws/comparable.hpp:40:27: required from 'boost::hana::test::TestComparable<T, boost::hana::test::laws>::TestComparable(Xs) [with Xs = boost::hana::tuple<minimal_struct_t<> >; T = minimal_struct_tag<0>]'
../libs/hana/test/_include/laws/comparable.hpp:33:40: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<minimal_struct_tag<0>, minimal_struct_tag<0>, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
In file included from ../libs/hana/test/_include/laws/base.hpp:12,
from ../libs/hana/test/concept/struct/laws.cpp:10:
../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 = minimal_struct_tag<0>; U = minimal_struct_tag<0>; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:194:12: note: 'template<class S> struct boost::hana::equal_impl<S, S, boost::hana::when<(boost::hana::Struct<S>::value && (! boost::hana::detail::EqualityComparable<T>::value))> > [with S = minimal_struct_tag<0>]'
194 | struct equal_impl<S, S, when<
| ^~~~~~~~~~~~~~~~~~~~~~
195 | hana::Struct<S>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~
196 | !detail::EqualityComparable<S, S>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
197 | >> {
| ~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<minimal_struct_tag<0>, minimal_struct_tag<0>, 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<minimal_struct_tag<0>, minimal_struct_tag<0>, boost::hana::when<true> >'
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<minimal_struct_tag<1>, minimal_struct_tag<1>, 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::equal_impl<minimal_struct_tag<1>, minimal_struct_tag<1>, void>]'
../boost/hana/concept/comparable.hpp:27:64: required from 'struct boost::hana::Comparable<minimal_struct_t<boost::hana::test::ct_eq<0> > >'
../libs/hana/test/_include/laws/comparable.hpp:41:37: required from 'boost::hana::test::TestComparable<minimal_struct_tag<1>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:3)> [with auto:3 = minimal_struct_t<boost::hana::test::ct_eq<0> >]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<boost::hana::test::ct_eq<0> >&, minimal_struct_t<boost::hana::test::ct_eq<1> >&, minimal_struct_t<boost::hana::test::ct_eq<2> >&}; F = boost::hana::test::TestComparable<minimal_struct_tag<1>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:3)>*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestComparable<minimal_struct_tag<1>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:3)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestComparable<minimal_struct_tag<1>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:3)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::test::TestComparable<minimal_struct_tag<1>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:3)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::test::TestComparable<minimal_struct_tag<1>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:3)>]'
../libs/hana/test/_include/laws/comparable.hpp:40:27: required from 'boost::hana::test::TestComparable<T, boost::hana::test::laws>::TestComparable(Xs) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >; T = minimal_struct_tag<1>]'
../libs/hana/test/_include/laws/comparable.hpp:33:40: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<minimal_struct_tag<1>, minimal_struct_tag<1>, boost::hana::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 = minimal_struct_tag<1>; U = minimal_struct_tag<1>; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:194:12: note: 'template<class S> struct boost::hana::equal_impl<S, S, boost::hana::when<(boost::hana::Struct<S>::value && (! boost::hana::detail::EqualityComparable<T>::value))> > [with S = minimal_struct_tag<1>]'
194 | struct equal_impl<S, S, when<
| ^~~~~~~~~~~~~~~~~~~~~~
195 | hana::Struct<S>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~
196 | !detail::EqualityComparable<S, S>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
197 | >> {
| ~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<minimal_struct_tag<1>, minimal_struct_tag<1>, 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<minimal_struct_tag<1>, minimal_struct_tag<1>, boost::hana::when<true> >'
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<minimal_struct_tag<2>, minimal_struct_tag<2>, 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::equal_impl<minimal_struct_tag<2>, minimal_struct_tag<2>, void>]'
../boost/hana/concept/comparable.hpp:27:64: required from 'struct boost::hana::Comparable<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> > >'
../libs/hana/test/_include/laws/comparable.hpp:41:37: required from 'boost::hana::test::TestComparable<minimal_struct_tag<2>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >)::<lambda(auto:3)> [with auto:3 = minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >&, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >&, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >&, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >&, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >&, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> >&}; F = boost::hana::test::TestComparable<minimal_struct_tag<2>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >)::<lambda(auto:3)>*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestComparable<minimal_struct_tag<2>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >)::<lambda(auto:3)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestComparable<minimal_struct_tag<2>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >)::<lambda(auto:3)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >&; F = boost::hana::test::TestComparable<minimal_struct_tag<2>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >)::<lambda(auto:3)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >&; F = boost::hana::test::TestComparable<minimal_struct_tag<2>, boost::hana::test::laws>::TestComparable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >)::<lambda(auto:3)>]'
../libs/hana/test/_include/laws/comparable.hpp:40:27: required from 'boost::hana::test::TestComparable<T, boost::hana::test::laws>::TestComparable(Xs) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1>, boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<0>, boost::hana::test::ct_eq<2> >, minimal_struct_t<boost::hana::test::ct_eq<2>, boost::hana::test::ct_eq<3> > >; T = minimal_struct_tag<2>]'
../libs/hana/test/_include/laws/comparable.hpp:33:40: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<minimal_struct_tag<2>, minimal_struct_tag<2>, boost::hana::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 = minimal_struct_tag<2>; U = minimal_struct_tag<2>; bool condition = true]'
55 | struct equal_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp:194:12: note: 'template<class S> struct boost::hana::equal_impl<S, S, boost::hana::when<(boost::hana::Struct<S>::value && (! boost::hana::detail::EqualityComparable<T>::value))> > [with S = minimal_struct_tag<2>]'
194 | struct equal_impl<S, S, when<
| ^~~~~~~~~~~~~~~~~~~~~~
195 | hana::Struct<S>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~
196 | !detail::EqualityComparable<S, S>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
197 | >> {
| ~~
../boost/hana/fwd/equal.hpp:69:12: error: invalid use of incomplete type 'struct boost::hana::equal_impl<minimal_struct_tag<2>, minimal_struct_tag<2>, 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<minimal_struct_tag<2>, minimal_struct_tag<2>, boost::hana::when<true> >'
../boost/hana/fwd/equal.hpp: In instantiation of 'struct boost::hana::equal_impl<boost::hana::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, void>':
../boost/hana/equal.hpp:50:28: required from 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::integral_constant<long unsigned int, 0>; Y = boost::hana::integral_constant<long unsigned int, 0>]'
../libs/hana/test/_include/laws/foldable.hpp:69:17: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<>&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {minimal_struct_t<>}; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<> >; F = minimal_struct_tag<0>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: required from here
../boost/hana/fwd/equal.hpp:69:12: error: ambiguous template instantiation for 'struct boost::hana::equal_impl<boost::hana::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, boost::hana::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::integral_constant_tag<long unsigned int>; U = boost::hana::integral_constant_tag<long unsigned int>; 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::integral_constant_tag<long unsigned int>]'
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::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, 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::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, 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::integral_constant<long unsigned int, 0>; Y = boost::hana::integral_constant<long unsigned int, 0>]':
../libs/hana/test/_include/laws/foldable.hpp:69:17: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<>&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {minimal_struct_t<>}; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<> >; F = minimal_struct_tag<0>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, 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::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, 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::ct_eq<999>&; Y = boost::hana::test::ct_eq<999>&]'
../libs/hana/test/_include/laws/foldable.hpp:76:17: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<>&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {minimal_struct_t<>}; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<> >; F = minimal_struct_tag<0>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: 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)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, boost::hana::when<true> >'
69 | struct equal_impl : equal_impl<T, U, when<true>> { };
| ^~~~~~~~~~
../boost/hana/equal.hpp:55:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::equal_impl<T, U, boost::hana::when<condition> > [with T = boost::hana::test::Integer<(boost::hana::test::Policy)17, void>; U = boost::hana::test::Integer<(boost::hana::test::Policy)17, 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)17, 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)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, 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)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, 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::ct_eq<999>&; Y = boost::hana::test::ct_eq<999>&]':
../libs/hana/test/_include/laws/foldable.hpp:76:17: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<>&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0}; Xn = {minimal_struct_t<>}; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<> >; F = minimal_struct_tag<0>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: 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)17, void>, boost::hana::test::Integer<(boost::hana::test::Policy)17, void>, void>'}
50 | return Equal::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::integral_constant<long unsigned int, 0>; Y = const boost::hana::integral_constant<long unsigned int, 0>&]':
../boost/hana/not_equal.hpp:40:42: required from 'static constexpr decltype(auto) boost::hana::not_equal_impl<T, U, boost::hana::when<condition> >::apply(X&&, Y&&) [with X = boost::hana::integral_constant<long unsigned int, 0>; Y = const boost::hana::integral_constant<long unsigned int, 0>&; T = boost::hana::integral_constant_tag<long unsigned int>; U = boost::hana::integral_constant_tag<long unsigned int>; bool condition = true]'
../boost/hana/not_equal.hpp:32:31: required from 'constexpr auto boost::hana::not_equal_t::operator()(X&&, Y&&) const [with X = boost::hana::integral_constant<long unsigned int, 0>; Y = const boost::hana::integral_constant<long unsigned int, 0>&]'
../libs/hana/test/_include/laws/foldable.hpp:86:43: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<>&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<> >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<0>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<> > >(boost::hana::tuple<minimal_struct_t<> >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<> >; F = minimal_struct_tag<0>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, void>'}
../boost/hana/equal.hpp: In instantiation of 'constexpr auto boost::hana::equal_t::operator()(X&&, Y&&) const [with X = boost::hana::integral_constant<long unsigned int, 1>; Y = boost::hana::integral_constant<long unsigned int, 1>]':
../libs/hana/test/_include/laws/foldable.hpp:69:17: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<boost::hana::test::ct_eq<0> >]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<boost::hana::test::ct_eq<0> >&, minimal_struct_t<boost::hana::test::ct_eq<1> >&, minimal_struct_t<boost::hana::test::ct_eq<2> >&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::basic_tuple_tag>::apply(boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, _Idx ...>, Xn ...>&, F&&) [with long unsigned int ...i = {0, 1, 2}; Xn = {minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> >}; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::basic_tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*>]'
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >; F = minimal_struct_tag<1>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: required from here
../boost/hana/equal.hpp:50:28: error: 'apply' is not a member of 'Equal' {aka 'boost::hana::equal_impl<boost::hana::integral_constant_tag<long unsigned int>, boost::hana::integral_constant_tag<long unsigned int>, void>'}
../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::ct_eq<999>, boost::hana::pair<boost::hana::integral_constant<int, 0>, boost::hana::test::ct_eq<0> > >&; Y = boost::hana::tuple<boost::hana::test::ct_eq<999>, boost::hana::pair<boost::hana::integral_constant<int, 0>, boost::hana::test::ct_eq<0> > >&]'
../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::ct_eq<999>, boost::hana::pair<boost::hana::integral_constant<int, 0>, boost::hana::test::ct_eq<0> > >; Y = boost::hana::test::injection_result<0, boost::hana::test::ct_eq<999>, boost::hana::pair<boost::hana::integral_constant<int, 0>, boost::hana::test::ct_eq<0> > >]'
../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::ct_eq<999>, boost::hana::pair<boost::hana::integral_constant<int, 0>, boost::hana::test::ct_eq<0> > >; Y = boost::hana::test::injection_result<0, boost::hana::test::ct_eq<999>, boost::hana::pair<boost::hana::integral_constant<int, 0>, boost::hana::test::ct_eq<0> > >]'
../libs/hana/test/_include/laws/foldable.hpp:76:17: required from 'boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)> [with auto:31 = minimal_struct_t<boost::hana::test::ct_eq<0> >]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {minimal_struct_t<boost::hana::test::ct_eq<0> >&, minimal_struct_t<boost::hana::test::ct_eq<1> >&, minimal_struct_t<boost::hana::test::ct_eq<2> >&}; F = boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*]'
../boost/hana/basic_tuple.hpp:125:39: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/tuple.hpp:233:32: required from 'static constexpr decltype(auto) boost::hana::unpack_impl<boost::hana::tuple_tag>::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::detail::on_each<boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>*>]'
../boost/hana/for_each.hpp:56:25: required from 'static constexpr void boost::hana::for_each_impl<T, boost::hana::when<condition> >::apply(Xs&&, F&&) [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>; T = boost::hana::tuple_tag; bool condition = true]'
../boost/hana/for_each.hpp:35:30: required from 'constexpr void boost::hana::for_each_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >&; F = boost::hana::test::TestFoldable<minimal_struct_tag<1>, boost::hana::test::laws>::TestFoldable<boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > > >(boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >)::<lambda(auto:31)>]'
../libs/hana/test/_include/laws/foldable.hpp:62:27: required from 'boost::hana::test::TestFoldable<F, boost::hana::test::laws>::TestFoldable(Foldables) [with Foldables = boost::hana::tuple<minimal_struct_t<boost::hana::test::ct_eq<0> >, minimal_struct_t<boost::hana::test::ct_eq<1> >, minimal_struct_t<boost::hana::test::ct_eq<2> > >; F = minimal_struct_tag<1>]'
../libs/hana/test/_include/laws/foldable.hpp:55:38: 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...
[The content has been trimmed by the report system because it exceeds 65536 bytes]