为什么noexcept构造函数需要实例化析构函数？

在下面的代码中,wrapper声明了一个包含a 的对象movable,其中T是一个不完整的类型.构造析构函数movable是为了在没有完全知识的情况下无法实例化T,但是wrapper析构函数只是向前声明,这意味着如果~movable()在定义的时候实例化它就足够了~wrapper().

#include 

template
struct movable {
    movable() noexcept = default;
    ~movable() noexcept { (void) sizeof(T); }
    movable(const movable&) noexcept = delete;
    movable(movable &&) noexcept = default;
};

template
class wrapper {
public:
    movable m;
    wrapper() noexcept = default;
    wrapper(wrapper &&) noexcept = default;
    ~wrapper();
};

struct incomplete;

int main() {
    /* extern */ wrapper original;
    wrapper copy(std::move(original));
}