Здравствуйте, PM, Вы писали:

PM>Исправление — объявить деструктор в классе, определить в реализации:

error: invalid application of 'sizeof' to an incomplete type 'Class2'
static_assert(sizeof(_Tp) > 0,
^~~~~~~~~~~

Это в вашем оригинальном коде — с конструктором по умолчанию. А по условию задачи должно компилироваться и ломаться если конструктор явно реализовать в H-файле.