#include <boost/mpl/assert.hpp>
#include <boost/type_traits/is_same.hpp>

template<typename T> bool f()
{
  BOOST_MPL_ASSERT_MSG(
    (boost::is_same<T,T>::value),
    ALWAYS_TRUE,
    (T));

  return true;
}