Могу ли я запомнить ()любой тип, имеющий тривиальный деструктор?

Я понимаю что is_podявляется достаточным условием для того, чтобы тип былmemcpy-способен, ноhas_trivial_destructorтакже достаточно для этой цели? Если нет, то почему?