#include <boost/config.hpp>
#include <boost/type_traits/is_base_and_derived.hpp>

struct marker{};

template<typename T>
struct is_marked
{
  BOOST_STATIC_CONSTANT(bool,value=(boost::is_base_and_derived<marker,T>::value));
};

struct foo
{
  int x;
};

template<class Class,typename Type,Type Class::*PtrToMember>
struct class_member{};

typedef is_marked<class_member<foo,int,&foo::x> > type1;

int main()
{
  bool b1=type1::value;
  return 0;
}