blinded AkhСпасибо. Как я понял, стандарт "предупреждает". А учитывая те факты, что мы нашли опасную точку и тем более в следующием стандарте, возможно, эту проблему решат уже средствами C++/STL, думаю, что переопределение деструктора по умолчанию в области имеющей информацию о полном типе аргумента будет делать инстанцирование шаблона не полным типом корректным.
Не, не решат. Попробуй - ка сам подумай, деструктор может оказатся виртуальным, или везде оказаться inline

Я не очень понимаю, в чем проблема с точки зрения стандарта. Они ведь только говорят, что если у вас шаблон от не полного типа, значит возможны проблемы. В данный момент возникла проблема с деструктором, которая решалась путем создания деструктора в месте, где этот тип уже полон. В принципе, компилятор, сам все разрулил и выдал варнинг.
Если судить отсюда, то будь деструктор виртуальным или инлайн, главное, чтобы аргумент шаблона "созрел" к его описанию. Или я во что-то не въезжаю?

яе, чтобы аргумент шаблона "созрел" к его описанию

тьфу, ты... определению.