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~ext~std~integral_constant~logical.test/gcc-12~c++17/debug/x86_64/debug-symbols-off/threading-multi/visibility-hidden/ext/std/integral_constant/logical.o" "../libs/hana/test/ext/std/integral_constant/logical.cpp"
In file included from ../boost/hana/concept/integral_constant.hpp:16,
from ../boost/hana/ext/std/integral_constant.hpp:13,
from ../libs/hana/test/ext/std/integral_constant/logical.cpp:5:
../boost/hana/core/tag_of.hpp: In instantiation of 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>':
../boost/hana/eval_if.hpp:30:15: required from 'constexpr decltype(auto) boost::hana::eval_if_t::operator()(Cond&&, Then&&, Else&&) const [with Cond = std::integral_constant<bool, true>; Then = boost::hana::_always<boost::hana::test::ct_eq<3> >; Else = boost::hana::_always<boost::hana::test::ct_eq<4> >]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:28:9: required from here
../boost/hana/core/tag_of.hpp:24:12: error: ambiguous template instantiation for 'struct boost::hana::tag_of<std::integral_constant<bool, true>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:33:12: note: candidates are: 'template<class T, bool condition> struct boost::hana::tag_of<T, boost::hana::when<condition> > [with T = std::integral_constant<bool, true>; bool condition = true]'
33 | struct tag_of<T, when<condition>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/ext/std/integral_constant.hpp:68:12: note: 'template<class T> struct boost::hana::tag_of<T, boost::hana::when<(boost::hana::detail::is_std_integral_constant((T*)(0)) && (! boost::hana::detail::is_hana_integral_constant((T*)(0))))> > [with T = std::integral_constant<bool, true>]'
68 | struct tag_of<T, when<
| ^~~~~~~~~~~~~~~
69 | detail::is_std_integral_constant((T*)0) &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
70 | !detail::is_hana_integral_constant((T*)0)
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
71 | >> {
| ~~
../boost/hana/core/tag_of.hpp:24:12: error: invalid use of incomplete type 'struct boost::hana::tag_of<std::integral_constant<bool, true>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:24:12: note: declaration of 'struct boost::hana::tag_of<std::integral_constant<bool, true>, boost::hana::when<true> >'
In file included from ../boost/hana/concept/logical.hpp:19,
from ../boost/hana/if.hpp:15,
from ../boost/hana/assert.hpp:16,
from ../libs/hana/test/ext/std/integral_constant/logical.cpp:7:
../boost/hana/eval_if.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::eval_if_t::operator()(Cond&&, Then&&, Else&&) const [with Cond = std::integral_constant<bool, true>; Then = boost::hana::_always<boost::hana::test::ct_eq<3> >; Else = boost::hana::_always<boost::hana::test::ct_eq<4> >]':
../libs/hana/test/ext/std/integral_constant/logical.cpp:28:9: required from here
../boost/hana/eval_if.hpp:30:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>'
30 | using Bool = typename hana::tag_of<Cond>::type;
| ^~~~
../boost/hana/eval_if.hpp:31:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>'
31 | using EvalIf = BOOST_HANA_DISPATCH_IF(eval_if_impl<Bool>,
| ^~~~~~
../boost/hana/eval_if.hpp:36:44: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>'
36 | static_assert(hana::Logical<Bool>::value,
| ^~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp: In function 'int main()':
../boost/hana/assert.hpp:227:9: error: template argument 1 is invalid
227 | >::value, \
| ^
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:28:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
28 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/assert.hpp:232:10: error: no matching function for call to 'value<<expression error> >()'
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:28:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
28 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ../boost/hana/concept/constant.hpp:19,
from ../boost/hana/assert.hpp:13:
../boost/hana/value.hpp:31:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value()'
31 | constexpr decltype(auto) value() {
| ^~~~~
../boost/hana/value.hpp:31:30: note: template argument deduction/substitution failed:
../boost/hana/assert.hpp:232:10: error: template argument 1 is invalid
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:28:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
28 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ../boost/hana/value.hpp:13:
../boost/hana/fwd/value.hpp:65:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value(const T&)'
65 | constexpr decltype(auto) value(T const&)
| ^~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate expects 1 argument, 0 provided
../boost/hana/core/tag_of.hpp: In instantiation of 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>':
../boost/hana/eval_if.hpp:30:15: required from 'constexpr decltype(auto) boost::hana::eval_if_t::operator()(Cond&&, Then&&, Else&&) const [with Cond = std::integral_constant<bool, false>; Then = boost::hana::_always<boost::hana::test::ct_eq<3> >; Else = boost::hana::_always<boost::hana::test::ct_eq<4> >]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:33:9: required from here
../boost/hana/core/tag_of.hpp:24:12: error: ambiguous template instantiation for 'struct boost::hana::tag_of<std::integral_constant<bool, false>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:33:12: note: candidates are: 'template<class T, bool condition> struct boost::hana::tag_of<T, boost::hana::when<condition> > [with T = std::integral_constant<bool, false>; bool condition = true]'
33 | struct tag_of<T, when<condition>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/ext/std/integral_constant.hpp:68:12: note: 'template<class T> struct boost::hana::tag_of<T, boost::hana::when<(boost::hana::detail::is_std_integral_constant((T*)(0)) && (! boost::hana::detail::is_hana_integral_constant((T*)(0))))> > [with T = std::integral_constant<bool, false>]'
68 | struct tag_of<T, when<
| ^~~~~~~~~~~~~~~
69 | detail::is_std_integral_constant((T*)0) &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
70 | !detail::is_hana_integral_constant((T*)0)
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
71 | >> {
| ~~
../boost/hana/core/tag_of.hpp:24:12: error: invalid use of incomplete type 'struct boost::hana::tag_of<std::integral_constant<bool, false>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:24:12: note: declaration of 'struct boost::hana::tag_of<std::integral_constant<bool, false>, boost::hana::when<true> >'
../boost/hana/eval_if.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::eval_if_t::operator()(Cond&&, Then&&, Else&&) const [with Cond = std::integral_constant<bool, false>; Then = boost::hana::_always<boost::hana::test::ct_eq<3> >; Else = boost::hana::_always<boost::hana::test::ct_eq<4> >]':
../libs/hana/test/ext/std/integral_constant/logical.cpp:33:9: required from here
../boost/hana/eval_if.hpp:30:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>'
30 | using Bool = typename hana::tag_of<Cond>::type;
| ^~~~
../boost/hana/eval_if.hpp:31:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>'
31 | using EvalIf = BOOST_HANA_DISPATCH_IF(eval_if_impl<Bool>,
| ^~~~~~
../boost/hana/eval_if.hpp:36:44: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>'
36 | static_assert(hana::Logical<Bool>::value,
| ^~~~~
../boost/hana/assert.hpp:227:9: error: template argument 1 is invalid
227 | >::value, \
| ^
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:33:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
33 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/assert.hpp:232:10: error: no matching function for call to 'value<<expression error> >()'
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:33:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
33 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/value.hpp:31:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value()'
31 | constexpr decltype(auto) value() {
| ^~~~~
../boost/hana/value.hpp:31:30: note: template argument deduction/substitution failed:
../boost/hana/assert.hpp:232:10: error: template argument 1 is invalid
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:33:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
33 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value(const T&)'
65 | constexpr decltype(auto) value(T const&)
| ^~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate expects 1 argument, 0 provided
In file included from ../boost/hana/concept/logical.hpp:20:
../boost/hana/not.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::not_t::operator()(X&&) const [with X = std::integral_constant<bool, true>]':
../libs/hana/test/ext/std/integral_constant/logical.cpp:41:9: required from here
../boost/hana/not.hpp:29:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>'
29 | using Bool = typename hana::tag_of<X>::type;
| ^~~~
../boost/hana/not.hpp:30:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>'
30 | using Not = BOOST_HANA_DISPATCH_IF(hana::not_impl<Bool>,
| ^~~
../boost/hana/not.hpp:35:44: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, true>, void>'
35 | static_assert(hana::Logical<Bool>::value,
| ^~~~~
../boost/hana/assert.hpp:227:9: error: template argument 1 is invalid
227 | >::value, \
| ^
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:41:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
41 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/assert.hpp:232:10: error: no matching function for call to 'value<<expression error> >()'
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:41:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
41 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/value.hpp:31:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value()'
31 | constexpr decltype(auto) value() {
| ^~~~~
../boost/hana/value.hpp:31:30: note: template argument deduction/substitution failed:
../boost/hana/assert.hpp:232:10: error: template argument 1 is invalid
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:41:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
41 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value(const T&)'
65 | constexpr decltype(auto) value(T const&)
| ^~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate expects 1 argument, 0 provided
../boost/hana/not.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::not_t::operator()(X&&) const [with X = std::integral_constant<bool, false>]':
../libs/hana/test/ext/std/integral_constant/logical.cpp:45:9: required from here
../boost/hana/not.hpp:29:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>'
29 | using Bool = typename hana::tag_of<X>::type;
| ^~~~
../boost/hana/not.hpp:30:15: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>'
30 | using Not = BOOST_HANA_DISPATCH_IF(hana::not_impl<Bool>,
| ^~~
../boost/hana/not.hpp:35:44: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<bool, false>, void>'
35 | static_assert(hana::Logical<Bool>::value,
| ^~~~~
../boost/hana/assert.hpp:227:9: error: template argument 1 is invalid
227 | >::value, \
| ^
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:45:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
45 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/assert.hpp:232:10: error: no matching function for call to 'value<<expression error> >()'
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:45:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
45 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/value.hpp:31:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value()'
31 | constexpr decltype(auto) value() {
| ^~~~~
../boost/hana/value.hpp:31:30: note: template argument deduction/substitution failed:
../boost/hana/assert.hpp:232:10: error: template argument 1 is invalid
230 | static_assert(::boost::hana::value< \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
231 | decltype(BOOST_HANA_PP_CONCAT(__hana_tmp_, __LINE__)) \
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
232 | >(), message); \
| ~^~
../boost/hana/assert.hpp:240:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK_MSG'
240 | BOOST_HANA_CONSTANT_CHECK_MSG( \
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../libs/hana/test/ext/std/integral_constant/logical.cpp:45:9: note: in expansion of macro 'BOOST_HANA_CONSTANT_CHECK'
45 | BOOST_HANA_CONSTANT_CHECK(hana::equal(
| ^~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate: 'template<class T> constexpr decltype(auto) boost::hana::value(const T&)'
65 | constexpr decltype(auto) value(T const&)
| ^~~~~
../boost/hana/fwd/value.hpp:65:30: note: candidate expects 1 argument, 0 provided
../boost/hana/core/tag_of.hpp: In instantiation of 'struct boost::hana::tag_of<std::integral_constant<int, -2>, void>':
../boost/hana/concept/logical.hpp:28:66: required from 'struct boost::hana::Logical<std::integral_constant<int, -2> >'
../libs/hana/test/_include/laws/logical.hpp:40:31: required from 'boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)> [with auto:4 = std::integral_constant<int, -2>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::integral_constant<int, -2>&, std::integral_constant<int, 0>&, std::integral_constant<int, 1>&, std::integral_constant<int, 3>&}; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*]'
../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, 3}; Xn = {std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3>}; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../boost/hana/unpack.hpp:47:29: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>; 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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>]'
../libs/hana/test/_include/laws/logical.hpp:39:27: required from 'boost::hana::test::TestLogical<L, boost::hana::test::laws>::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; L = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/_include/laws/logical.hpp:114:53: required from 'boost::hana::test::TestLogical<C, boost::hana::when<boost::hana::Constant<C>::value> >::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; C = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:61:77: required from here
../boost/hana/core/tag_of.hpp:24:12: error: ambiguous template instantiation for 'struct boost::hana::tag_of<std::integral_constant<int, -2>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:33:12: note: candidates are: 'template<class T, bool condition> struct boost::hana::tag_of<T, boost::hana::when<condition> > [with T = std::integral_constant<int, -2>; bool condition = true]'
33 | struct tag_of<T, when<condition>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/ext/std/integral_constant.hpp:68:12: note: 'template<class T> struct boost::hana::tag_of<T, boost::hana::when<(boost::hana::detail::is_std_integral_constant((T*)(0)) && (! boost::hana::detail::is_hana_integral_constant((T*)(0))))> > [with T = std::integral_constant<int, -2>]'
68 | struct tag_of<T, when<
| ^~~~~~~~~~~~~~~
69 | detail::is_std_integral_constant((T*)0) &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
70 | !detail::is_hana_integral_constant((T*)0)
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
71 | >> {
| ~~
../boost/hana/core/tag_of.hpp:24:12: error: invalid use of incomplete type 'struct boost::hana::tag_of<std::integral_constant<int, -2>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:24:12: note: declaration of 'struct boost::hana::tag_of<std::integral_constant<int, -2>, boost::hana::when<true> >'
../boost/hana/concept/logical.hpp: In instantiation of 'struct boost::hana::Logical<std::integral_constant<int, -2> >':
../libs/hana/test/_include/laws/logical.hpp:40:31: required from 'boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)> [with auto:4 = std::integral_constant<int, -2>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::integral_constant<int, -2>&, std::integral_constant<int, 0>&, std::integral_constant<int, 1>&, std::integral_constant<int, 3>&}; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*]'
../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, 3}; Xn = {std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3>}; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>; 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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>]'
../libs/hana/test/_include/laws/logical.hpp:39:27: required from 'boost::hana::test::TestLogical<L, boost::hana::test::laws>::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; L = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/_include/laws/logical.hpp:114:53: required from 'boost::hana::test::TestLogical<C, boost::hana::when<boost::hana::Constant<C>::value> >::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; C = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:61:77: required from here
../boost/hana/concept/logical.hpp:28:66: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<int, -2>, void>'
28 | !is_default<eval_if_impl<typename tag_of<L>::type>>::value &&
| ^~~~~
../boost/hana/concept/logical.hpp:29:62: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<int, -2>, void>'
29 | !is_default<not_impl<typename tag_of<L>::type>>::value &&
| ^~~~~
../boost/hana/concept/logical.hpp:30:64: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<int, -2>, void>'
30 | !is_default<while_impl<typename tag_of<L>::type>>::value
| ^~~~~
In file included from ../libs/hana/test/ext/std/integral_constant/logical.cpp:16:
../libs/hana/test/_include/laws/logical.hpp: In instantiation of 'boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)> [with auto:4 = std::integral_constant<int, -2>]':
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::integral_constant<int, -2>&, std::integral_constant<int, 0>&, std::integral_constant<int, 1>&, std::integral_constant<int, 3>&}; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*]'
../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, 3}; Xn = {std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3>}; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>; 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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>]'
../libs/hana/test/_include/laws/logical.hpp:39:27: required from 'boost::hana::test::TestLogical<L, boost::hana::test::laws>::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; L = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/_include/laws/logical.hpp:114:53: required from 'boost::hana::test::TestLogical<C, boost::hana::when<boost::hana::Constant<C>::value> >::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; C = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:61:77: required from here
../libs/hana/test/_include/laws/logical.hpp:40:31: error: could not convert 'boost::hana::Logical<std::integral_constant<int, -2> >()' from 'boost::hana::Logical<std::integral_constant<int, -2> >' to 'bool'
40 | static_assert(Logical<decltype(x)>{}, "");
| ^~~~~~~~~~~~~~~~~~~~~~
| |
| boost::hana::Logical<std::integral_constant<int, -2> >
../boost/hana/core/tag_of.hpp: In instantiation of 'struct boost::hana::tag_of<std::integral_constant<int, 0>, void>':
../boost/hana/concept/logical.hpp:28:66: required from 'struct boost::hana::Logical<std::integral_constant<int, 0> >'
../libs/hana/test/_include/laws/logical.hpp:40:31: required from 'boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)> [with auto:4 = std::integral_constant<int, 0>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::integral_constant<int, -2>&, std::integral_constant<int, 0>&, std::integral_constant<int, 1>&, std::integral_constant<int, 3>&}; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*]'
../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, 3}; Xn = {std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3>}; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../boost/hana/unpack.hpp:47:29: [ skipping 2 instantiation contexts, use -ftemplate-backtrace-limit=0 to disable ]
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>; 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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>]'
../libs/hana/test/_include/laws/logical.hpp:39:27: required from 'boost::hana::test::TestLogical<L, boost::hana::test::laws>::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; L = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/_include/laws/logical.hpp:114:53: required from 'boost::hana::test::TestLogical<C, boost::hana::when<boost::hana::Constant<C>::value> >::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; C = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:61:77: required from here
../boost/hana/core/tag_of.hpp:24:12: error: ambiguous template instantiation for 'struct boost::hana::tag_of<std::integral_constant<int, 0>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:33:12: note: candidates are: 'template<class T, bool condition> struct boost::hana::tag_of<T, boost::hana::when<condition> > [with T = std::integral_constant<int, 0>; bool condition = true]'
33 | struct tag_of<T, when<condition>> {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~
../boost/hana/ext/std/integral_constant.hpp:68:12: note: 'template<class T> struct boost::hana::tag_of<T, boost::hana::when<(boost::hana::detail::is_std_integral_constant((T*)(0)) && (! boost::hana::detail::is_hana_integral_constant((T*)(0))))> > [with T = std::integral_constant<int, 0>]'
68 | struct tag_of<T, when<
| ^~~~~~~~~~~~~~~
69 | detail::is_std_integral_constant((T*)0) &&
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
70 | !detail::is_hana_integral_constant((T*)0)
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
71 | >> {
| ~~
../boost/hana/core/tag_of.hpp:24:12: error: invalid use of incomplete type 'struct boost::hana::tag_of<std::integral_constant<int, 0>, boost::hana::when<true> >'
24 | struct tag_of : tag_of<T, when<true>> { };
| ^~~~~~
../boost/hana/core/tag_of.hpp:24:12: note: declaration of 'struct boost::hana::tag_of<std::integral_constant<int, 0>, boost::hana::when<true> >'
../boost/hana/concept/logical.hpp: In instantiation of 'struct boost::hana::Logical<std::integral_constant<int, 0> >':
../libs/hana/test/_include/laws/logical.hpp:40:31: required from 'boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)> [with auto:4 = std::integral_constant<int, 0>]'
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::integral_constant<int, -2>&, std::integral_constant<int, 0>&, std::integral_constant<int, 1>&, std::integral_constant<int, 3>&}; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*]'
../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, 3}; Xn = {std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3>}; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>; 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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>]'
../libs/hana/test/_include/laws/logical.hpp:39:27: required from 'boost::hana::test::TestLogical<L, boost::hana::test::laws>::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; L = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/_include/laws/logical.hpp:114:53: required from 'boost::hana::test::TestLogical<C, boost::hana::when<boost::hana::Constant<C>::value> >::TestLogical(Xs) [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >; C = boost::hana::ext::std::integral_constant_tag<int>]'
../libs/hana/test/ext/std/integral_constant/logical.cpp:61:77: required from here
../boost/hana/concept/logical.hpp:28:66: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<int, 0>, void>'
28 | !is_default<eval_if_impl<typename tag_of<L>::type>>::value &&
| ^~~~~
../boost/hana/concept/logical.hpp:29:62: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<int, 0>, void>'
29 | !is_default<not_impl<typename tag_of<L>::type>>::value &&
| ^~~~~
../boost/hana/concept/logical.hpp:30:64: error: no type named 'type' in 'struct boost::hana::tag_of<std::integral_constant<int, 0>, void>'
30 | !is_default<while_impl<typename tag_of<L>::type>>::value
| ^~~~~
../libs/hana/test/_include/laws/logical.hpp: In instantiation of 'boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)> [with auto:4 = std::integral_constant<int, 0>]':
../boost/hana/for_each.hpp:46:45: required from 'constexpr void boost::hana::detail::on_each<F>::operator()(Xs&& ...) const [with Xs = {std::integral_constant<int, -2>&, std::integral_constant<int, 0>&, std::integral_constant<int, 1>&, std::integral_constant<int, 3>&}; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*]'
../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, 3}; Xn = {std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3>}; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../boost/hana/unpack.hpp:47:29: required from 'constexpr decltype(auto) boost::hana::unpack_t::operator()(Xs&&, F&&) const [with Xs = boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::detail::on_each<boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>*>]'
../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<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >&; F = boost::hana::test::TestLogical<boost::hana::ext::std::integral_constant_tag<int>, boost::hana::test::laws>::TestLogical<boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> > >(boost::hana::tuple<std::integral_constant<int, -2>, std::integral_constant<int, 0>, std::integral_constant<int, 1>, std::integral_constant<int, 3> >)::<lambda(auto:4)>; T = boost::ha...
[The content has been trimmed by the report system because it exceeds 65536 bytes]