use_type.cpp

#include <type_traits>

template <typename T>
struct Foo {
  static_assert(std::is_same<T, int>::value, "Foobar");
};

template<typename> void use_type() {}

#define CGAL_USE_TYPE(T) use_type<T>()

int main()
{
  typedef Foo<double> type;
  CGAL_USE_TYPE(type);

  return 0;
}