This question is partly common to C++ Get name of type in template . I am trying to come up with a template/macro that expand to static_assert(std::is_trivially_destru
static_assert(std::is_trivially_destru