vendor/libc++/libc++-trunk-r291015vendor/libc++/libc++-trunk-r291012

1 files changed, 17 insertions, 4 deletions

diff --git a/include/__tuple b/include/__tuple
index 775d7340b54d6..7aad081636627 100644
--- a/include/__tuple
+++ b/include/__tuple
@@ -22,19 +22,32 @@
 
 _LIBCPP_BEGIN_NAMESPACE_STD
 
-template <class _Tp> class _LIBCPP_TYPE_VIS_ONLY tuple_size {};
+template <class _Tp> class _LIBCPP_TYPE_VIS_ONLY tuple_size;
+
+struct __empty_tuple_size_base {};
+
+template <class _Tp, class = void>
+struct __tuple_size_base_type {
+  typedef __empty_tuple_size_base type;
+};
+
+template <class _Tp>
+struct __tuple_size_base_type<_Tp, typename __void_t<decltype(tuple_size<_Tp>::value)>::type>
+{
+  typedef integral_constant<size_t, tuple_size<_Tp>::value> type;
+};
 
 template <class _Tp>
 class _LIBCPP_TYPE_VIS_ONLY tuple_size<const _Tp>
-    : public tuple_size<_Tp> {};
+    : public __tuple_size_base_type<_Tp>::type {};
 
 template <class _Tp>
 class _LIBCPP_TYPE_VIS_ONLY tuple_size<volatile _Tp>
-    : public tuple_size<_Tp> {};
+    : public __tuple_size_base_type<_Tp>::type {};
 
 template <class _Tp>
 class _LIBCPP_TYPE_VIS_ONLY tuple_size<const volatile _Tp>
-    : public tuple_size<_Tp> {};
+    : public __tuple_size_base_type<_Tp>::type {};
 
 template <size_t _Ip, class _Tp> class _LIBCPP_TYPE_VIS_ONLY tuple_element;