Compile [2024-11-16 12:16:25 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~euclidean_ring.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/euclidean_ring.o" "../libs/hana/test/euclidean_ring.cpp"
In file included from ../boost/hana/mod.hpp:13,
from ../boost/hana/concept/euclidean_ring.hpp:20,
from ../boost/hana/div.hpp:16,
from ../libs/hana/test/euclidean_ring.cpp:5:
../boost/hana/fwd/mod.hpp: In instantiation of 'struct boost::hana::mod_impl<int, int, 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::mod_impl<int, int, void>]'
../boost/hana/concept/euclidean_ring.hpp:28:62: required from 'struct boost::hana::EuclideanRing<int>'
../boost/hana/div.hpp:33:21: required from 'constexpr decltype(auto) boost::hana::div_t::operator()(X&&, Y&&) const [with X = int; Y = int]'
../libs/hana/test/euclidean_ring.cpp:19:32: required from here
../boost/hana/fwd/mod.hpp:51:12: error: ambiguous template instantiation for 'struct boost::hana::mod_impl<int, int, boost::hana::when<true> >'
51 | struct mod_impl : mod_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/mod.hpp:56:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::mod_impl<T, U, boost::hana::when<condition> > [with T = int; U = int; bool condition = true]'
56 | struct mod_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/mod.hpp:78:12: note: 'template<class T> struct boost::hana::mod_impl<T, T, boost::hana::when<(std::is_integral<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = int]'
78 | struct mod_impl<T, T, when<std::is_integral<T>::value &&
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
79 | !std::is_same<T, bool>::value>> {
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/mod.hpp:51:12: error: invalid use of incomplete type 'struct boost::hana::mod_impl<int, int, boost::hana::when<true> >'
51 | struct mod_impl : mod_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/fwd/mod.hpp:51:12: note: declaration of 'struct boost::hana::mod_impl<int, int, boost::hana::when<true> >'
In file included from ../boost/hana/div.hpp:13:
../boost/hana/fwd/div.hpp: In instantiation of 'struct boost::hana::div_impl<int, int, 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::div_impl<int, int, void>]'
../boost/hana/concept/euclidean_ring.hpp:30:62: required from 'struct boost::hana::EuclideanRing<int>'
../boost/hana/div.hpp:33:21: required from 'constexpr decltype(auto) boost::hana::div_t::operator()(X&&, Y&&) const [with X = int; Y = int]'
../libs/hana/test/euclidean_ring.cpp:19:32: required from here
../boost/hana/fwd/div.hpp:48:12: error: ambiguous template instantiation for 'struct boost::hana::div_impl<int, int, boost::hana::when<true> >'
48 | struct div_impl : div_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/div.hpp:56:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::div_impl<T, U, boost::hana::when<condition> > [with T = int; U = int; bool condition = true]'
56 | struct div_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/div.hpp:78:12: note: 'template<class T> struct boost::hana::div_impl<T, T, boost::hana::when<(std::is_integral<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = int]'
78 | struct div_impl<T, T, when<std::is_integral<T>::value &&
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
79 | !std::is_same<T, bool>::value>> {
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/div.hpp:48:12: error: invalid use of incomplete type 'struct boost::hana::div_impl<int, int, boost::hana::when<true> >'
48 | struct div_impl : div_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/fwd/div.hpp:48:12: note: declaration of 'struct boost::hana::div_impl<int, int, boost::hana::when<true> >'
../boost/hana/div.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::div_t::operator()(X&&, Y&&) const [with X = int; Y = int]':
../libs/hana/test/euclidean_ring.cpp:19:32: required from here
../boost/hana/div.hpp:51:26: error: 'apply' is not a member of 'Div' {aka 'boost::hana::div_impl<int, int, void>'}
51 | return Div::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/mod.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::mod_t::operator()(X&&, Y&&) const [with X = int; Y = int]':
../libs/hana/test/euclidean_ring.cpp:25:32: required from here
../boost/hana/mod.hpp:51:26: error: 'apply' is not a member of 'Mod' {aka 'boost::hana::mod_impl<int, int, void>'}
51 | return Mod::apply(static_cast<X&&>(x), static_cast<Y&&>(y));
| ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ../boost/hana/zero.hpp:13,
from ../boost/hana/concept/monoid.hpp:20,
from ../boost/hana/plus.hpp:16,
from ../libs/hana/test/_include/laws/euclidean_ring.hpp:21,
from ../libs/hana/test/euclidean_ring.cpp:9:
../boost/hana/fwd/zero.hpp: In instantiation of 'struct boost::hana::zero_impl<int, 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::zero_impl<int, void>]'
../boost/hana/concept/monoid.hpp:27:63: required from 'struct boost::hana::Monoid<int>'
../boost/hana/zero.hpp:30:40: required from 'constexpr decltype(auto) boost::hana::zero_t<M>::operator()() const [with M = int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:54:54: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<int, int, int, int, int, int>; D = int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/fwd/zero.hpp:35:12: error: ambiguous template instantiation for 'struct boost::hana::zero_impl<int, boost::hana::when<true> >'
35 | struct zero_impl : zero_impl<M, when<true>> { };
| ^~~~~~~~~
../boost/hana/zero.hpp:43:12: note: candidates are: 'template<class M, bool condition> struct boost::hana::zero_impl<M, boost::hana::when<condition> > [with M = int; bool condition = true]'
43 | struct zero_impl<M, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/zero.hpp:52:12: note: 'template<class T> struct boost::hana::zero_impl<T, boost::hana::when<(std::is_arithmetic<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = int]'
52 | struct zero_impl<T, when<
| ^~~~~~~~~~~~~~~~~~
53 | std::is_arithmetic<T>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
54 | !std::is_same<T, bool>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
55 | >> {
| ~~
../boost/hana/fwd/zero.hpp:35:12: error: invalid use of incomplete type 'struct boost::hana::zero_impl<int, boost::hana::when<true> >'
35 | struct zero_impl : zero_impl<M, when<true>> { };
| ^~~~~~~~~
../boost/hana/fwd/zero.hpp:35:12: note: declaration of 'struct boost::hana::zero_impl<int, boost::hana::when<true> >'
In file included from ../boost/hana/detail/operators/arithmetic.hpp:20,
from ../boost/hana/bool.hpp:19,
from ../boost/hana/integral_constant.hpp:13,
from ../boost/hana/drop_front.hpp:20,
from ../boost/hana/concept/iterable.hpp:20,
from ../boost/hana/at.hpp:16,
from ../boost/hana/unpack.hpp:16,
from ../boost/hana/fold_left.hpp:20,
from ../boost/hana/concept/foldable.hpp:19,
from ../boost/hana/core/to.hpp:16,
from ../boost/hana/mod.hpp:18:
../boost/hana/fwd/plus.hpp: In instantiation of 'struct boost::hana::plus_impl<int, int, 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::plus_impl<int, int, void>]'
../boost/hana/concept/monoid.hpp:29:63: required from 'struct boost::hana::Monoid<int>'
../boost/hana/zero.hpp:30:40: required from 'constexpr decltype(auto) boost::hana::zero_t<M>::operator()() const [with M = int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:54:54: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<int, int, int, int, int, int>; D = int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/fwd/plus.hpp:52:12: error: ambiguous template instantiation for 'struct boost::hana::plus_impl<int, int, boost::hana::when<true> >'
52 | struct plus_impl : plus_impl<T, U, when<true>> { };
| ^~~~~~~~~
../boost/hana/plus.hpp:56:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::plus_impl<T, U, boost::hana::when<condition> > [with T = int; U = int; bool condition = true]'
56 | struct plus_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/plus.hpp:78:12: note: 'template<class T> struct boost::hana::plus_impl<T, T, boost::hana::when<(std::is_arithmetic<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = int]'
78 | struct plus_impl<T, T, when<
| ^~~~~~~~~~~~~~~~~~~~~
79 | std::is_arithmetic<T>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
80 | !std::is_same<T, bool>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
81 | >> {
| ~~
../boost/hana/fwd/plus.hpp:52:12: error: invalid use of incomplete type 'struct boost::hana::plus_impl<int, int, boost::hana::when<true> >'
52 | struct plus_impl : plus_impl<T, U, when<true>> { };
| ^~~~~~~~~
../boost/hana/fwd/plus.hpp:52:12: note: declaration of 'struct boost::hana::plus_impl<int, int, boost::hana::when<true> >'
../boost/hana/zero.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::zero_t<M>::operator()() const [with M = int]':
../libs/hana/test/_include/laws/euclidean_ring.hpp:54:54: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<int, int, int, int, int, int>; D = int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/zero.hpp:38:27: error: 'apply' is not a member of 'Zero' {aka 'boost::hana::zero_impl<int, void>'}
38 | return Zero::apply();
| ~~~~~~~~~~~^~
../boost/hana/fwd/zero.hpp: In instantiation of 'struct boost::hana::zero_impl<long int, 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::zero_impl<long int, void>]'
../boost/hana/concept/monoid.hpp:27:63: required from 'struct boost::hana::Monoid<long int>'
../boost/hana/zero.hpp:30:40: required from 'constexpr decltype(auto) boost::hana::zero_t<M>::operator()() const [with M = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:54:54: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>; D = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/fwd/zero.hpp:35:12: error: ambiguous template instantiation for 'struct boost::hana::zero_impl<long int, boost::hana::when<true> >'
35 | struct zero_impl : zero_impl<M, when<true>> { };
| ^~~~~~~~~
../boost/hana/zero.hpp:43:12: note: candidates are: 'template<class M, bool condition> struct boost::hana::zero_impl<M, boost::hana::when<condition> > [with M = long int; bool condition = true]'
43 | struct zero_impl<M, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/zero.hpp:52:12: note: 'template<class T> struct boost::hana::zero_impl<T, boost::hana::when<(std::is_arithmetic<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = long int]'
52 | struct zero_impl<T, when<
| ^~~~~~~~~~~~~~~~~~
53 | std::is_arithmetic<T>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
54 | !std::is_same<T, bool>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
55 | >> {
| ~~
../boost/hana/fwd/zero.hpp:35:12: error: invalid use of incomplete type 'struct boost::hana::zero_impl<long int, boost::hana::when<true> >'
35 | struct zero_impl : zero_impl<M, when<true>> { };
| ^~~~~~~~~
../boost/hana/fwd/zero.hpp:35:12: note: declaration of 'struct boost::hana::zero_impl<long int, boost::hana::when<true> >'
../boost/hana/fwd/plus.hpp: In instantiation of 'struct boost::hana::plus_impl<long int, long int, 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::plus_impl<long int, long int, void>]'
../boost/hana/concept/monoid.hpp:29:63: required from 'struct boost::hana::Monoid<long int>'
../boost/hana/zero.hpp:30:40: required from 'constexpr decltype(auto) boost::hana::zero_t<M>::operator()() const [with M = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:54:54: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>; D = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/fwd/plus.hpp:52:12: error: ambiguous template instantiation for 'struct boost::hana::plus_impl<long int, long int, boost::hana::when<true> >'
52 | struct plus_impl : plus_impl<T, U, when<true>> { };
| ^~~~~~~~~
../boost/hana/plus.hpp:56:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::plus_impl<T, U, boost::hana::when<condition> > [with T = long int; U = long int; bool condition = true]'
56 | struct plus_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/plus.hpp:78:12: note: 'template<class T> struct boost::hana::plus_impl<T, T, boost::hana::when<(std::is_arithmetic<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = long int]'
78 | struct plus_impl<T, T, when<
| ^~~~~~~~~~~~~~~~~~~~~
79 | std::is_arithmetic<T>::value &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
80 | !std::is_same<T, bool>::value
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
81 | >> {
| ~~
../boost/hana/fwd/plus.hpp:52:12: error: invalid use of incomplete type 'struct boost::hana::plus_impl<long int, long int, boost::hana::when<true> >'
52 | struct plus_impl : plus_impl<T, U, when<true>> { };
| ^~~~~~~~~
../boost/hana/fwd/plus.hpp:52:12: note: declaration of 'struct boost::hana::plus_impl<long int, long int, boost::hana::when<true> >'
../boost/hana/zero.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::zero_t<M>::operator()() const [with M = long int]':
../libs/hana/test/_include/laws/euclidean_ring.hpp:54:54: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>; D = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/zero.hpp:38:27: error: 'apply' is not a member of 'Zero' {aka 'boost::hana::zero_impl<long int, void>'}
38 | return Zero::apply();
| ~~~~~~~~~~~^~
../boost/hana/fwd/mod.hpp: In instantiation of 'struct boost::hana::mod_impl<long int, long int, 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::mod_impl<long int, long int, void>]'
../boost/hana/concept/euclidean_ring.hpp:28:62: required from 'struct boost::hana::EuclideanRing<long int>'
../libs/hana/test/_include/laws/euclidean_ring.hpp:39:31: required from 'boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)> [with auto:2 = long int]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {long int&, long int&, long int&, long int&, long int&, long int&}; F = boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>*]'
../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<long int, long int, long int, long int, long int, long int>&; F = boost::hana::detail::on_each<boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>&; F = boost::hana::detail::on_each<boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>*>]'
../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<long int, long int, long int, long int, long int, long int>&; F = boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>; 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<long int, long int, long int, long int, long int, long int>&; F = boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:38:27: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>; D = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/fwd/mod.hpp:51:12: error: ambiguous template instantiation for 'struct boost::hana::mod_impl<long int, long int, boost::hana::when<true> >'
51 | struct mod_impl : mod_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/mod.hpp:56:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::mod_impl<T, U, boost::hana::when<condition> > [with T = long int; U = long int; bool condition = true]'
56 | struct mod_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/mod.hpp:78:12: note: 'template<class T> struct boost::hana::mod_impl<T, T, boost::hana::when<(std::is_integral<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = long int]'
78 | struct mod_impl<T, T, when<std::is_integral<T>::value &&
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
79 | !std::is_same<T, bool>::value>> {
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/mod.hpp:51:12: error: invalid use of incomplete type 'struct boost::hana::mod_impl<long int, long int, boost::hana::when<true> >'
51 | struct mod_impl : mod_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/fwd/mod.hpp:51:12: note: declaration of 'struct boost::hana::mod_impl<long int, long int, boost::hana::when<true> >'
../boost/hana/fwd/div.hpp: In instantiation of 'struct boost::hana::div_impl<long int, long int, 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::div_impl<long int, long int, void>]'
../boost/hana/concept/euclidean_ring.hpp:30:62: required from 'struct boost::hana::EuclideanRing<long int>'
../libs/hana/test/_include/laws/euclidean_ring.hpp:39:31: required from 'boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)> [with auto:2 = long int]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {long int&, long int&, long int&, long int&, long int&, long int&}; F = boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>*]'
../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<long int, long int, long int, long int, long int, long int>&; F = boost::hana::detail::on_each<boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>&; F = boost::hana::detail::on_each<boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>*>]'
../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<long int, long int, long int, long int, long int, long int>&; F = boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>; 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<long int, long int, long int, long int, long int, long int>&; F = boost::hana::test::TestEuclideanRing<long int, boost::hana::test::laws>::TestEuclideanRing<boost::hana::tuple<long int, long int, long int, long int, long int, long int> >(boost::hana::tuple<long int, long int, long int, long int, long int, long int>)::<lambda(auto:2)>]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:38:27: required from 'boost::hana::test::TestEuclideanRing<D, boost::hana::test::laws>::TestEuclideanRing(Xs) [with Xs = boost::hana::tuple<long int, long int, long int, long int, long int, long int>; D = long int]'
../libs/hana/test/_include/laws/euclidean_ring.hpp:31:43: required from here
../boost/hana/fwd/div.hpp:48:12: error: ambiguous template instantiation for 'struct boost::hana::div_impl<long int, long int, boost::hana::when<true> >'
48 | struct div_impl : div_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/div.hpp:56:12: note: candidates are: 'template<class T, class U, bool condition> struct boost::hana::div_impl<T, U, boost::hana::when<condition> > [with T = long int; U = long int; bool condition = true]'
56 | struct div_impl<T, U, when<condition>> : default_ {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/div.hpp:78:12: note: 'template<class T> struct boost::hana::div_impl<T, T, boost::hana::when<(std::is_integral<_Tp>::value && (! std::is_same<T, bool>::value))> > [with T = long int]'
78 | struct div_impl<T, T, when<std::is_integral<T>::value &&
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
79 | !std::is_same<T, bool>::value>> {
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/div.hpp:48:12: error: invalid use of incomplete type 'struct boost::hana::div_impl<long int, long int, boost::hana::when<true> >'
48 | struct div_impl : div_impl<T, U, when<true>> { };
| ^~~~~~~~
../boost/hana/fwd/div.hpp:48:12: note: declaration of 'struct boost::hana::div_impl<long int, long int, boost::hana::when<true> >'