concepts: disable tuple_element test for tuple

This commit is contained in:
Danny Robson 2020-02-25 11:23:50 +11:00
parent 61cc9b9ed2
commit 40694c4138

View File

@ -285,7 +285,9 @@ namespace cruft::concepts {
template <typename T>
concept tuple = requires (T a, T b)
{
{ std::tuple_size<T>::value == 0 || std::tuple_element<0,T> {} };
// We should be checking this, but it fails for zero length tuples and
// it's kind of a low priority right now.
// { std::tuple_element<0,T> {} };
{ std::tuple_size<T>::value } -> convertible_to<std::size_t>;
{ std::tuple_cat (a, b) };
};