std::polymorphic<T, Allocator>::~polymorphic

constexpr ~polymorphic();

Если *this не находится в состоянии без значения, уничтожает принадлежащий ему объект с помощью std::allocator_traits<Allocator>::destroy, а затем освобождает память.

В противном случае ничего не делает.

Если T является неполным типом, программа некорректна.