From f132cbf95cd6d2a398b65bfcaaa1c23e2a5aee91 Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Sat, 23 Feb 2002 20:52:30 +0000
Subject: [PATCH] eliminate types with implicit conversion to pointers for
 is_array

[SVN r12914]
---
 include/boost/type_traits/composite_traits.hpp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/include/boost/type_traits/composite_traits.hpp b/include/boost/type_traits/composite_traits.hpp
index d7b4f69..340c062 100644
--- a/include/boost/type_traits/composite_traits.hpp
+++ b/include/boost/type_traits/composite_traits.hpp
@@ -141,20 +141,21 @@ template <class R, class A0, class A1, class A2, class A3, class A4, class A5, c
 ::boost::type_traits::yes_type is_function_tester(R (*)(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29));
 
 
-   yes_type is_array_helper(const volatile void*, const volatile void*);
    template <class T>
-   no_type is_array_helper(T*const volatile*, const volatile void*);
+   yes_type is_array_helper(const volatile void*, const volatile void*, void (*)(T x[]));
+   template <class T>
+   no_type is_array_helper(T*const volatile*, const volatile void*, void (*)(T x[]));
    no_type BOOST_TT_DECL is_array_helper(...);
 } // namespace detail
 template <typename T> 
 struct is_array
 { 
 private:
-   static T t;
+    static T t;
 public:
    BOOST_STATIC_CONSTANT(bool, value = 
       (::boost::type_traits::ice_and<
-         (1 == sizeof(detail::is_array_helper(&t, t))),
+         (1 == sizeof(detail::is_array_helper(&t, t, (void(*)(T))0))),
          ::boost::type_traits::ice_not<
             ::boost::detail::is_reference_or_const_volatile<T>::value>::value,
          ::boost::type_traits::ice_not<