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

VD>Но с другой ведь параметр типа не использован нигде в A

Это он пока не использован. Каким бы ни должно быть поведение у компилятора/рантайма для типа D, оно не долэно изменяться при добавлении использования параметра T в структуре A<T>.