diff options
Diffstat (limited to 'libcxx/include')
| -rw-r--r-- | libcxx/include/tuple | 4 | ||||
| -rw-r--r-- | libcxx/include/type_traits | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/libcxx/include/tuple b/libcxx/include/tuple index 93518d8bd64..21fa900ddc3 100644 --- a/libcxx/include/tuple +++ b/libcxx/include/tuple @@ -511,8 +511,8 @@ class _LIBCPP_TYPE_VIS_ONLY tuple typename tuple_element<_Jp, tuple<_Up...> >::type&& get(tuple<_Up...>&&) _NOEXCEPT; public: - template <bool _Dummy = true, class _Up = typename enable_if< - __all<(_Dummy && is_default_constructible<_Tp>::value)...>::value + template <bool _Dummy = true, class = typename enable_if< + __all<__dependent_type<is_default_constructible<_Tp>, _Dummy>::value...>::value >::type> _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR tuple() diff --git a/libcxx/include/type_traits b/libcxx/include/type_traits index 52fb5902485..1820bb2e4bc 100644 --- a/libcxx/include/type_traits +++ b/libcxx/include/type_traits @@ -216,6 +216,9 @@ template <class...> struct __void_t { typedef void type; }; #endif +template <class _Tp, bool> +struct _LIBCPP_TYPE_VIS_ONLY __dependent_type : public _Tp {}; + template <bool _Bp, class _If, class _Then> struct _LIBCPP_TYPE_VIS_ONLY conditional {typedef _If type;}; template <class _If, class _Then> |
