fork(4) download

copy

#include <utility>
 
template<class T>
struct movable {
    movable() noexcept = default;
    ~movable() noexcept { (void) sizeof(T); }
    movable(const movable&) noexcept = delete;
    movable(movable &&) noexcept = default;
};
 
template<class T>
class wrapper {
public:
    movable<T> m;
    wrapper() noexcept = default;
    wrapper(wrapper &&) noexcept = default;
    ~wrapper();
};
 
struct incomplete;
 
int main() {
    wrapper<incomplete> original;
    wrapper<incomplete> copy(std::move(original));
}
 

prog.cpp: In instantiation of 'movable<T>::~movable() [with T = incomplete]':
prog.cpp:15:5:   required from here
prog.cpp:6:40: error: invalid application of 'sizeof' to incomplete type 'incomplete'
     ~movable() noexcept { (void) sizeof(T); }
                                        ^

Standard output is empty