diff --git a/include/type_traits b/include/type_traits index 99e34d13..b5eb40d2 100644 --- a/include/type_traits +++ b/include/type_traits @@ -1461,6 +1461,10 @@ template struct is_destructible : public __destructible_imp<_Tp> {}; +template +struct is_destructible<_Tp[]> + : public false_type {}; + // move #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES diff --git a/test/utilities/meta/meta.unary/meta.unary.prop/is_destructible.pass.cpp b/test/utilities/meta/meta.unary/meta.unary.prop/is_destructible.pass.cpp index cc7f75eb..b4432dff 100644 --- a/test/utilities/meta/meta.unary/meta.unary.prop/is_destructible.pass.cpp +++ b/test/utilities/meta/meta.unary/meta.unary.prop/is_destructible.pass.cpp @@ -69,7 +69,9 @@ int main() test_is_destructible(); test_is_destructible(); test_is_destructible(); + test_is_destructible(); + test_is_not_destructible(); test_is_not_destructible(); test_is_not_destructible(); #if __has_feature(cxx_access_control_sfinae)