#include <boost/concept_check.hpp>

namespace {
class Base {};
class Derived : public Base {};
}

int main() {
  BOOST_CONCEPT_ASSERT((boost::Convertible<Derived*, Base*>));
}