Index: boost/type_traits/detail/cv_traits_impl.hpp
===================================================================
--- boost/type_traits/detail/cv_traits_impl.hpp	(revision 80698)
+++ boost/type_traits/detail/cv_traits_impl.hpp	(working copy)
@@ -11,6 +11,7 @@
 #ifndef BOOST_TT_DETAIL_CV_TRAITS_IMPL_HPP_INCLUDED
 #define BOOST_TT_DETAIL_CV_TRAITS_IMPL_HPP_INCLUDED
 
+#include <cstddef>
 #include <boost/config.hpp>
 #include <boost/detail/workaround.hpp>
 
@@ -29,6 +30,82 @@
 namespace gcc8503 {
 #endif
 
+#if BOOST_WORKAROUND(BOOST_MSVC, == 1700)
+#define BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(X) X
+template <typename T>
+struct cv_traits_imp
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = false);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = false);
+    typedef T unqualified_type;
+};
+
+template <typename T>
+struct cv_traits_imp<T[]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = false);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = false);
+    typedef T unqualified_type[];
+};
+
+template <typename T>
+struct cv_traits_imp<const T[]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = true);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = false);
+    typedef T unqualified_type[];
+};
+
+template <typename T>
+struct cv_traits_imp<volatile T[]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = false);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = true);
+    typedef T unqualified_type[];
+};
+
+template <typename T>
+struct cv_traits_imp<const volatile T[]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = true);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = true);
+    typedef T unqualified_type[];
+};
+
+template <typename T, std::size_t N>
+struct cv_traits_imp<T[N]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = false);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = false);
+    typedef T unqualified_type[N];
+};
+
+template <typename T, std::size_t N>
+struct cv_traits_imp<const T[N]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = true);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = false);
+    typedef T unqualified_type[N];
+};
+
+template <typename T, std::size_t N>
+struct cv_traits_imp<volatile T[N]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = false);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = true);
+    typedef T unqualified_type[N];
+};
+
+template <typename T, std::size_t N>
+struct cv_traits_imp<const volatile T[N]>
+{
+    BOOST_STATIC_CONSTANT(bool, is_const = true);
+    BOOST_STATIC_CONSTANT(bool, is_volatile = true);
+    typedef T unqualified_type[N];
+};
+
+#else
+#define BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(X) X *
 template <typename T> struct cv_traits_imp {};
 
 template <typename T>
@@ -38,9 +115,10 @@
     BOOST_STATIC_CONSTANT(bool, is_volatile = false);
     typedef T unqualified_type;
 };
+#endif
 
 template <typename T>
-struct cv_traits_imp<const T*>
+struct cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(const T)>
 {
     BOOST_STATIC_CONSTANT(bool, is_const = true);
     BOOST_STATIC_CONSTANT(bool, is_volatile = false);
@@ -48,7 +126,7 @@
 };
 
 template <typename T>
-struct cv_traits_imp<volatile T*>
+struct cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(volatile T)>
 {
     BOOST_STATIC_CONSTANT(bool, is_const = false);
     BOOST_STATIC_CONSTANT(bool, is_volatile = true);
@@ -56,7 +134,7 @@
 };
 
 template <typename T>
-struct cv_traits_imp<const volatile T*>
+struct cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(const volatile T)>
 {
     BOOST_STATIC_CONSTANT(bool, is_const = true);
     BOOST_STATIC_CONSTANT(bool, is_volatile = true);
Index: boost/type_traits/is_const.hpp
===================================================================
--- boost/type_traits/is_const.hpp	(revision 80698)
+++ boost/type_traits/is_const.hpp	(working copy)
@@ -61,7 +61,7 @@
 #if BOOST_WORKAROUND(BOOST_MSVC, < 1400)
    BOOST_STATIC_CONSTANT(bool, value = ::boost::detail::cv_traits_imp<typename boost::remove_bounds<T>::type*>::is_const);
 #else
-   BOOST_STATIC_CONSTANT(bool, value = ::boost::detail::cv_traits_imp<T*>::is_const);
+   BOOST_STATIC_CONSTANT(bool, value = ::boost::detail::cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(T)>::is_const);
 #endif
 };
 #ifndef BOOST_NO_RVALUE_REFERENCES
Index: boost/type_traits/is_volatile.hpp
===================================================================
--- boost/type_traits/is_volatile.hpp	(revision 80698)
+++ boost/type_traits/is_volatile.hpp	(working copy)
@@ -48,7 +48,7 @@
 #if BOOST_WORKAROUND(BOOST_MSVC, < 1400)
    BOOST_STATIC_CONSTANT(bool, value = ::boost::detail::cv_traits_imp<typename boost::remove_bounds<T>::type*>::is_volatile);
 #else
-   BOOST_STATIC_CONSTANT(bool, value = ::boost::detail::cv_traits_imp<T*>::is_volatile);
+   BOOST_STATIC_CONSTANT(bool, value = ::boost::detail::cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(T)>::is_volatile);
 #endif
 };
 #ifndef BOOST_NO_RVALUE_REFERENCES
Index: boost/type_traits/remove_const.hpp
===================================================================
--- boost/type_traits/remove_const.hpp	(revision 80698)
+++ boost/type_traits/remove_const.hpp	(working copy)
@@ -49,7 +49,7 @@
 struct remove_const_impl
 {
     typedef typename remove_const_helper<
-          typename cv_traits_imp<T*>::unqualified_type
+          typename cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(T)>::unqualified_type
         , ::boost::is_volatile<T>::value
         >::type type;
 };
Index: boost/type_traits/remove_cv.hpp
===================================================================
--- boost/type_traits/remove_cv.hpp	(revision 80698)
+++ boost/type_traits/remove_cv.hpp	(working copy)
@@ -34,7 +34,7 @@
 template <class T>
 struct rvalue_ref_filter_rem_cv
 {
-   typedef typename boost::detail::cv_traits_imp<T*>::unqualified_type type;
+   typedef typename boost::detail::cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(T)>::unqualified_type type;
 };
 
 #ifndef BOOST_NO_RVALUE_REFERENCES
Index: boost/type_traits/remove_volatile.hpp
===================================================================
--- boost/type_traits/remove_volatile.hpp	(revision 80698)
+++ boost/type_traits/remove_volatile.hpp	(working copy)
@@ -48,7 +48,7 @@
 struct remove_volatile_impl
 {
     typedef typename remove_volatile_helper<
-          typename cv_traits_imp<T*>::unqualified_type
+          typename cv_traits_imp<BOOST_TT_AUX_CV_TRAITS_IMPL_PARAM(T)>::unqualified_type
         , ::boost::is_const<T>::value
         >::type type;
 };