#include <boost/type_traits.hpp>
#include <boost/static_assert.hpp>

using namespace boost;

int main()
{
  static const size_t TopDim = 2;
  static const size_t LowDim = 3;

  typedef int ArrayTwoDim[TopDim][LowDim];
  typedef int LowDimRemoved[TopDim];
  typedef int TopDimRemoved[LowDim];

  BOOST_STATIC_ASSERT((
    is_same<
      decay<ArrayTwoDim>::type,
      TopDimRemoved*
    >::value
  ));

  BOOST_STATIC_ASSERT((
    is_same<
      remove_extent<ArrayTwoDim>::type*,
      decay<ArrayTwoDim>::type
    >::value
  ));

  BOOST_STATIC_ASSERT((
    is_same<
      remove_extent<ArrayTwoDim>::type,
      TopDimRemoved
     >::value
  ));

  return 0;
}