#include <boost/type_traits/is_same.hpp>

#include <boost/mpl/pop_back.hpp>

#include <boost/mpl/vector.hpp>

#include <boost/mpl/placeholders.hpp>

#include <boost/mpl/assert.hpp>

#include <boost/static_assert.hpp>

namespace mpl = boost::mpl;

using namespace mpl::placeholders;

BOOST_STATIC_ASSERT(( // error

boost::is_same<

mpl::pop_back<mpl::vector<int, short> >::type

, mpl::vector<int>

>::value

));