Author
anonymous
almost 8 years ago
Language
Compiler
Options
Author
anonymous
almost 8 years ago
$ In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp: In instantiation of 'constexpr decltype(auto) boost::hana::at_c(const boost::hana::basic_tuple<Xs ...>&) [with long unsigned int n = 3; Xs = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_}]':
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/tuple.hpp:243:37: required from 'static constexpr decltype(auto) boost::hana::at_impl<boost::hana::tuple_tag>::apply(Xs&&, const N&) [with Xs = const boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>&; N = boost::hana::integral_constant<long unsigned int, 3>]'
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/at.hpp:41:25: required from 'constexpr decltype(auto) boost::hana::at_t::operator()(Xs&&, const N&) const [with Xs = const boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>&; N = boost::hana::integral_constant<long unsigned int, 3>]'
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/operators/iterable.hpp:28:28: required from 'constexpr decltype(auto) boost::hana::detail::iterable_operators<Derived>::operator[](N&&) const & [with N = boost::hana::integral_constant<long unsigned int, 3>&; Derived = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>]'
prog.cc:20:37: required from 'foo(auto:5, auto:6 ...)::<lambda(auto:7)> [with auto:7 = boost::hana::integral_constant<long unsigned int, 3>; auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]'
prog.cc:9:19: recursively required from 'constexpr decltype(auto) rec(auto:1, auto:2, auto:3, auto:4) [with auto:1 = boost::hana::integral_constant<long unsigned int, 1>; auto:2 = boost::hana::integral_constant<long unsigned int, 3>; auto:3 = foo(auto:5, auto:6 ...) [with auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]::<lambda(auto:7)>; auto:4 = long unsigned int]'
prog.cc:9:19: required from 'constexpr decltype(auto) rec(auto:1, auto:2, auto:3, auto:4) [with auto:1 = boost::hana::integral_constant<long unsigned int, 0>; auto:2 = boost::hana::integral_constant<long unsigned int, 3>; auto:3 = foo(auto:5, auto:6 ...) [with auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]::<lambda(auto:7)>; auto:4 = long unsigned int]'
prog.cc:26:17: required from 'constexpr decltype(auto) foo(auto:5, auto:6 ...) [with auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]'
prog.cc:39:43: required from here
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: error: no matching function for call to 'ebo_get<boost::hana::detail::bti<3> >(const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>&)'
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/pair.hpp:17:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:27,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:104:19: note: candidate: 'template<class K, class V> constexpr V&& _hana::ebo_get(_hana::ebo<K, V, false>&&)'
constexpr V&& ebo_get(ebo<K, V, false>&& x)
^~~~~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:104:19: note: template argument deduction/substitution failed:
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: types '_hana::ebo<boost::hana::detail::bti<3>, V, false>' and 'const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>' have incompatible cv-qualifiers
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/pair.hpp:17:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:27,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:100:18: note: candidate: 'template<class K, class V> constexpr V& _hana::ebo_get(_hana::ebo<K, V, false>&)'
constexpr V& ebo_get(ebo<K, V, false>& x)
^~~~~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:100:18: note: template argument deduction/substitution failed:
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: types '_hana::ebo<boost::hana::detail::bti<3>, V, false>' and 'const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>' have incompatible cv-qualifiers
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/pair.hpp:17:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:27,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:96:24: note: candidate: 'template<class K, class V> constexpr const V& _hana::ebo_get(const _hana::ebo<K, V, false>&)'
constexpr V const& ebo_get(ebo<K, V, false> const& x)
^~~~~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:96:24: note: template argument deduction/substitution failed:
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: template argument '0' does not match '3'
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: template argument '1' does not match '3'
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: template argument '2' does not match '3'
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: 'const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>' is not derived from 'const _hana::ebo<boost::hana::detail::bti<3>, V, false>'
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/pair.hpp:17:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:27,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:91:19: note: candidate: 'template<class K, class V> constexpr V&& _hana::ebo_get(_hana::ebo<K, V, true>&&)'
constexpr V&& ebo_get(ebo<K, V, true>&& x)
^~~~~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:91:19: note: template argument deduction/substitution failed:
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: types '_hana::ebo<boost::hana::detail::bti<3>, V, true>' and 'const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>' have incompatible cv-qualifiers
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/pair.hpp:17:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:27,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:87:18: note: candidate: 'template<class K, class V> constexpr V& _hana::ebo_get(_hana::ebo<K, V, true>&)'
constexpr V& ebo_get(ebo<K, V, true>& x)
^~~~~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:87:18: note: template argument deduction/substitution failed:
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: types '_hana::ebo<boost::hana::detail::bti<3>, V, true>' and 'const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>' have incompatible cv-qualifiers
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/pair.hpp:17:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:27,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:83:24: note: candidate: 'template<class K, class V> constexpr const V& _hana::ebo_get(const _hana::ebo<K, V, true>&)'
constexpr V const& ebo_get(ebo<K, V, true> const& x)
^~~~~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/ebo.hpp:83:24: note: template argument deduction/substitution failed:
In file included from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/functional/partial.hpp:13:0,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/fold_left.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/concept/foldable.hpp:19,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/core/to.hpp:16,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/bool.hpp:17,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/string.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/detail/struct_macros.hpp:28,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/adapt_adt.hpp:15,
from /opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana.hpp:59,
from prog.cc:1:
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: template argument '0' does not match '3'
return detail::ebo_get<detail::bti<n>>(xs);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: template argument '1' does not match '3'
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: template argument '2' does not match '3'
/opt/wandbox/boost-1.64.0/gcc-head/include/boost/hana/basic_tuple.hpp:215:47: note: 'const boost::hana::basic_tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>' is not derived from 'const _hana::ebo<boost::hana::detail::bti<3>, V, true>'
prog.cc: In instantiation of 'foo(auto:5, auto:6 ...)::<lambda(auto:7)> [with auto:7 = boost::hana::integral_constant<long unsigned int, 3>; auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]':
prog.cc:9:19: recursively required from 'constexpr decltype(auto) rec(auto:1, auto:2, auto:3, auto:4) [with auto:1 = boost::hana::integral_constant<long unsigned int, 1>; auto:2 = boost::hana::integral_constant<long unsigned int, 3>; auto:3 = foo(auto:5, auto:6 ...) [with auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]::<lambda(auto:7)>; auto:4 = long unsigned int]'
prog.cc:9:19: required from 'constexpr decltype(auto) rec(auto:1, auto:2, auto:3, auto:4) [with auto:1 = boost::hana::integral_constant<long unsigned int, 0>; auto:2 = boost::hana::integral_constant<long unsigned int, 3>; auto:3 = foo(auto:5, auto:6 ...) [with auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]::<lambda(auto:7)>; auto:4 = long unsigned int]'
prog.cc:26:17: required from 'constexpr decltype(auto) foo(auto:5, auto:6 ...) [with auto:5 = boost::hana::tuple<boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_, boost::hana::type_impl<T3>::_>; auto:6 = {boost::hana::type_impl<T1>::_, boost::hana::type_impl<T2>::_}]'
prog.cc:39:43: required from here
prog.cc:20:27: error: invalid use of void expression
if (hana::contains(tuple, ct[i]))
~~~~~~~~~~~~~~^~~~~~~~~~~~~~
prog.cc: In function 'int main()':
prog.cc:39:22: warning: unused variable 'test' [-Wunused-variable]
constexpr auto test = foo(ct, t1, t2);
^~~~
Exit Code:
1